LabeledIntGraph Name Proposition Observed. Format: [a-z] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-z]|[a-z]]+|⊡ The y coordinate for the visualitation. A positive value. 0 Type: Possible values: normal|contingent|constraint. normal Lower-Case Labeled Values. Format: {[[\('integer', 'node name (no case modification)', 'label'\) ]+}|{} Upper-Case Labeled Values. Format: {[[\('integer', 'node name (no case modification)', 'label'\) ]+}|{} Labeled Values. Format: {[[\('integer', 'label'\) ]+}|{} 472.0 p¬q 262.0 281.0 p¬q 367.0 q 489.0 p 20.0 140.0 ⊡ 26.0 c 147.0 ¬p 191.0 137.0 ¬p 191.0 p 297.0 ⊡ 14.0 a 482.0 p¬q 262.0 b 688.0 pq 179.0 678.0 pq 179.0 137.0 ¬p 468.0 686.0 pq 361.0 internal {(10, pq) } derived {(10, bpq) (25, pq) } derived {(0, pq) } derived {(0, pq) } internal {(-10, ¬bpq) (0, pq) } derived {(-20, ¬bpq) (-10, pq) } derived {(-20, ¬bpq) (-10, pq) } derived {(-20, ¬bpq) (-10, pq) } internal {(8, p¬q) } derived {(8, ap¬q) (14, p¬q) } derived {(0, p¬q) } derived {(0, p¬q) } internal {(-2, ¬ap¬q) (0, p¬q) } derived {(-10, ¬ap¬q) (-8, p¬q) } derived {(-10, ¬ap¬q) (-8, p¬q) } derived {(-10, ¬ap¬q) (-8, p¬q) } internal {(10, ¬p) } derived {(10, c¬p) } derived {(0, ¬p) } internal {(-20, ¬c¬p) (0, ¬p) } derived {(-30, ¬c¬p) (-10, ¬p) } derived {(-30, ¬c¬p) (-10, ¬p) } derived {(-30, ¬c¬p) (-10, ¬p) } derived {(5, pq) } derived {(4, p¬q) } derived {(20, c¬p) } derived {(0, ⊡) } derived {(12, p¬q) } derived {(15, pq) } derived {(20, ¬p) } derived {(15, bpq) (25, pq) } derived {(12, ap¬q) (14, p¬q) } derived {(0, p) } derived {(12, p¬q) } derived {(15, pq) } internal {(-8, p¬q) } internal {(0, ap¬q) (6, p¬q) } derived {(-8, p¬q) } derived {(-8, p¬q) } derived {(-8, p¬q) } internal {(-10, pq) } internal {(0, bpq) (15, pq) } derived {(-10, pq) } derived {(-10, pq) } derived {(-10, pq) } internal {(-10, ¬p) } internal {(0, c¬p) } derived {(-10, ¬p) } derived {(-10, ¬p) } normal {(10, ¬p) } normal {(0, ¬p) } normal {(5, pq) } normal {(0, pq) } normal {(1, p) } normal {(0, p) } normal {(12, ap¬q) (14, p¬q) } normal {(-10, ¬ap¬q) (-8, p¬q) } normal {(4, p¬q) } normal {(15, bpq) (25, pq) } normal {(-20, ¬bpq) (-10, pq) } normal {(0, p¬q) }