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 visualization. A positive value. 0 Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡ ⊡ The y coordinate for the visualization. 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') ]+}|{} Labeled Values. Format: {[('integer', 'label') ]+}|{} 5 2 CSTNU 78 18 80.0 ⊡ 31.0 621.0 ¬b 925.0 73.0 ⊡ 987.0 406.0 ⊡ 1012.0 b 451.0 ⊡ 686.0 401.0 ⊡ 300.0 242.0 ⊡ 323.0 757.0 ¬a 56.0 a 357.0 ⊡ 5.0 241.0 ⊡ 437.0 380.0 ⊡ 507.0 289.0 a 221.0 689.0 ⊡ 550.0 309.0 b 767.0 137.0 a 112.0 173.0 b 855.0 612.0 ¬b 751.0 506.0 ¬a 208.0 internal {(0, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ¬b) } contingent {(n9, 2, ⊡) } {(12, ⊡) } contingent {(n15, -7, ¬b) } {(-4, ¬b) } internal {(578, ⊡) } internal {(0, a) } internal {(578, b) } contingent {(n3, -6, a) } {(-1, a) } contingent {(n3, 2, a) } {(10, a) } internal {(0, b) } internal {(578, b) } requirement {(-1, a) } contingent {(n15, 5, ¬b) } {(12, ¬b) } contingent {(n9, -7, ⊡) } {(-1, ⊡) } internal {(0, ⊡) } internal {(0, ¬b) } internal {(0, b) } requirement {(-1, ⊡) } internal {(0, a) } internal {(0, ⊡) } requirement {(-1, ⊡) } requirement {(1, ¬a) } requirement {(-15, ⊡) } internal {(0, ⊡) } internal {(578, ¬a) } requirement {(-1, b) } internal {(578, ¬b) } internal {(578, ¬b) } internal {(578, ⊡) } internal {(578, ⊡) } internal {(578, ¬a) } internal {(578, a) } requirement {(27, ab) } requirement {(2, ⊡) } requirement {(1, ¬b) } requirement {(34, ⊡) } internal {(578, ⊡) } internal {(0, ¬a) } requirement {(1, b) } internal {(578, ⊡) } requirement {(-22, ab) } requirement {(2, ⊡) } requirement {(-1, ⊡) } internal {(578, a) } contingent {(n5, -6, ¬a) } {(-3, ¬a) } requirement {(27, ¬ab) } internal {(578, ⊡) } internal {(0, b) } internal {(578, ⊡) } internal {(0, ¬b) } contingent {(n13, -8, b) } {(-2, b) } requirement {(1, ¬b) } internal {(0, a) } internal {(0, ¬b) } internal {(0, ⊡) } requirement {(-1, ¬a) } requirement {(-17, ¬ab) } requirement {(10, ⊡) } requirement {(1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, b) } requirement {(5, ⊡) } requirement {(-1, ¬b) } requirement {(1, ⊡) } requirement {(-1, ¬a) } requirement {(-2, a) } internal {(0, ⊡) } internal {(0, ¬a) } requirement {(2, a) } requirement {(1, b) } contingent {(n13, 3, b) } {(14, b) } internal {(0, ⊡) } contingent {(n5, 4, ¬a) } {(10, ¬a) } requirement {(1, ¬a) } requirement {(-1, ⊡) } requirement {(1, a) } internal {(0, ¬a) }