Simple Graph Test - Chapter 11
Loading...
Load Chapter 11 Graph
Open Main Viewer
Expected:
14 axioms (blue), 16 predicates (green/purple/brown), 3 variables (pink), 81 connections