Describir: Logical reasoning with diagrams