Reasoning with Diagrammatic Representations: A Report on the Spring Symposium