Text this: Representación semántica de lenguaje natural en el dominio de fórmulas lógicas