Text this: Entrañamiento semántico y derivabilidad formal