Number of contingents in the graph 0 Number of observed propositions in the graph 0 Network Type CSTNU Number of edges in the graph 0 Number of vertices in the graph 0 Graph Name Proposition Observed. Value specification: [a-zA-F] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡ ⊡ The y coordinate for the visualitation. A positive value. 0 Labeled Potential Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Type: Possible values: contingent|requirement|derived|internal. requirement Labeled Lower-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Labeled Upper-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Value for STN edge. Format: 'integer' Labeled Values. Format: {[('integer', 'label') ]+}|{} 5 2 CSTNU 44 18 4Alt.cstnu 80.0 ⊡ 31.0 242.0 ⊡ 323.0 689.0 ⊡ 550.0 757.0 ¬a 56.0 309.0 b 767.0 b 451.0 ⊡ 686.0 621.0 ¬b 925.0 401.0 ⊡ 300.0 a 357.0 ⊡ 5.0 241.0 ⊡ 437.0 380.0 ⊡ 507.0 289.0 a 221.0 73.0 ⊡ 987.0 137.0 a 112.0 173.0 b 855.0 406.0 ⊡ 1012.0 612.0 ¬b 751.0 506.0 ¬a 208.0 requirement {(-1, ⊡) } requirement {(2, ⊡) } requirement {(-1, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } requirement {(2, ⊡) } requirement {(-1, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } contingent {(7, ⊡) } contingent {(-2, ⊡) } requirement {(1, ⊡) } requirement {(-2, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } contingent {(8, ⊡) } contingent {(-3, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } contingent {(7, ⊡) } contingent {(-5, ⊡) } contingent {(6, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } requirement {(2, ⊡) } requirement {(-1, ⊡) } requirement {(27, ⊡) } requirement {(-22, ⊡) } requirement {(34, ⊡) } requirement {(-15, ⊡) } contingent {(-2, ⊡) } requirement {(-17, ⊡) } requirement {(27, ⊡) } requirement {(10, ⊡) } requirement {(5, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } contingent {(6, ⊡) } contingent {(-4, ⊡) } requirement {(1, ⊡) }