Describir: Formalizing natural languages :