Title: Diagrammatic Representation and Reasoning