sa:diagrammatic_reasoning