TR094: Diagrammatic Reasoning for Qualitative Structural Analysis