Enviar aquest missatge de text: Formalizing natural languages :