Text this: Diagrammatic representation and inference :