Describir: Translating Logical Terms.