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'\) ]+}|{} 4Alt.cstnu 80.0 ⊡ 31.0 73.0 ⊡ 987.0 242.0 ⊡ 323.0 186.0 a 126.0 617.0 ¬a 85.0 406.0 ⊡ 1012.0 564.0 ⊡ 571.0 173.0 b 855.0 a 357.0 ⊡ 5.0 241.0 ⊡ 437.0 289.0 a 221.0 401.0 ⊡ 472.0 621.0 ¬b 925.0 401.0 ⊡ 300.0 b 451.0 ⊡ 686.0 309.0 b 767.0 612.0 ¬b 751.0 506.0 ¬a 208.0 normal {(-1, ⊡) } normal {(2, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } normal {(2, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } contingent {(7, ⊡) } contingent {(-2, ⊡) } normal {(1, ⊡) } normal {(-2, ⊡) } normal {(-1, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } contingent {(8, ⊡) } contingent {(-3, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } contingent {(7, ⊡) } contingent {(-5, ⊡) } contingent {(6, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } normal {(2, ⊡) } normal {(-1, ⊡) } constraint {(27, ⊡) } constraint {(-22, ⊡) } constraint {(34, ⊡) } constraint {(-15, ⊡) } contingent {(-2, ⊡) } constraint {(-17, ⊡) } constraint {(27, ⊡) } normal {(10, ⊡) } normal {(5, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } contingent {(6, ⊡) } contingent {(-4, ⊡) } normal {(1, ⊡) }