Describir: Formal semantic analysis :