Describir: Automated Reasoning