Reasoning with Diagrammatic Representations