Describir: Constraint-Based Reasoning