Automated Reasoning Diagram