Describir: Formalization of natural languages /