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'\) ]+}|{} 309.0 b 767.0 406.0 ⊡ 1012.0 564.0 ⊡ 571.0 80.0 ⊡ 31.0 242.0 ⊡ 323.0 401.0 ⊡ 300.0 241.0 ⊡ 437.0 g 627.0 ¬a 85.0 621.0 ¬b 925.0 d 319.0 b 767.0 c 251.0 ⊡ 437.0 506.0 ¬a 208.0 f 196.0 a 126.0 173.0 b 855.0 73.0 ⊡ 987.0 a 357.0 ⊡ 5.0 b 451.0 ⊡ 686.0 617.0 ¬a 85.0 612.0 ¬b 751.0 289.0 a 221.0 e 622.0 ¬b 751.0 401.0 ⊡ 472.0 186.0 a 126.0 derived {(0, ⊡) } internal {(-2, ⊡) } internal {(0, c) } internal {(-3, b) } internal {(0, bd) } normal {(-1, ⊡) } normal {(2, a) } normal {(-1, a) } normal {(1, ¬a) } normal {(-1, ¬a) } normal {(2, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-2, a) } normal {(-1, ⊡) } normal {(-1, ⊡) } normal {(1, b) } normal {(-1, b) } normal {(1, ¬b) } normal {(-1, ¬b) } normal {(1, b) } normal {(-1, b) } normal {(1, ¬b) } normal {(-1, ¬b) } normal {(2, ⊡) } normal {(-1, ⊡) } constraint {(27, ab) } constraint {(-22, ab) } constraint {(34, ⊡) } constraint {(-15, ⊡) } constraint {(-17, ¬ab) } constraint {(27, ¬ab) } normal {(10, ⊡) } normal {(5, ⊡) } normal {(1, ¬a) } normal {(-1, ¬a) } normal {(1, a) } internal {(-5, ¬b) } internal {(0, ¬be) } internal {(-2, a) } internal {(0, af) } internal {(-4, ¬a) } internal {(0, ¬ag) } derived {(0, ⊡) } internal {(3, b) } derived {(0, b) } internal {(-5, b¬d) } derived {(0, b) } derived {(0, b) } internal {(5, ¬b) } derived {(0, ¬b) } internal {(-2, ¬b¬e) } derived {(0, ¬b) } derived {(0, ¬b) } derived {(0, ⊡) } internal {(2, a) } derived {(0, a) } internal {(-4, a¬f) } derived {(0, a) } derived {(0, a) } internal {(4, ¬a) } derived {(0, ¬a) } internal {(-2, ¬a¬g) } derived {(0, ¬a) } derived {(0, ¬a) } derived {(0, ⊡) } derived {(0, ⊡) } internal {(2, ⊡) } derived {(0, ⊡) } internal {(-5, ¬c) } derived {(0, ⊡) }