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') ]+}|{} 10 3 CSTNU 126 43 764.0 ⊡ 776.0 179.0 ¬a 292.0 19.0 ⊡ 154.0 644.0 ¬b 753.0 422.0 c 29.0 486.0 ¬b 703.0 287.0 ⊡ 314.0 775.0 ⊡ 679.0 707.0 ⊡ 780.0 156.0 a 207.0 c 381.0 ⊡ 18.0 271.0 ⊡ 629.0 40.0 ⊡ 46.0 b 505.0 ⊡ 766.0 a 21.0 ⊡ 212.0 371.0 ⊡ 735.0 771.0 ⊡ 443.0 544.0 ⊡ 47.0 783.0 ⊡ 78.0 274.0 ⊡ 461.0 596.0 ¬b 625.0 320.0 ⊡ 260.0 591.0 b 783.0 289.0 c 34.0 223.0 ¬c 126.0 476.0 ⊡ 362.0 16.0 ¬a 272.0 766.0 ⊡ 536.0 49.0 a 135.0 100.0 ¬a 235.0 671.0 ⊡ 55.0 510.0 ⊡ 155.0 776.0 ⊡ 360.0 399.0 b 782.0 698.0 ⊡ 180.0 474.0 b 770.0 115.0 ⊡ 21.0 763.0 ⊡ 250.0 19.0 a 100.0 637.0 ⊡ 417.0 204.0 c 32.0 332.0 ¬c 27.0 461.0 ¬c 30.0 contingent {(16E, -25, b) } {(-6, b) } requirement {(-1, c) } requirement {(5, c) } contingent {(16E, 8, b) } {(45, b) } requirement {(-1, ¬b) } requirement {(-87, ¬b) } requirement {(0, a) } requirement {(-1, ¬c) } requirement {(0, ¬b) } requirement {(5, ¬c) } requirement {(5, ¬b) } requirement {(169, ¬b) } requirement {(-1, ¬b) } requirement {(-1, ¬b) } requirement {(118, ¬a) } requirement {(100, ⊡) } requirement {(-1, b) } contingent {(4E, -21, c) } {(-2, c) } requirement {(-1, a) } requirement {(5, ¬b) } requirement {(100, ¬c) } requirement {(5, b) } requirement {(-1, b) } requirement {(98, a¬c) } requirement {(5, ¬c) } contingent {(12E, -22, ⊡) } {(-6, ⊡) } requirement {(5, c) } requirement {(-1, c) } contingent {(10E, 5, ⊡) } {(39, ⊡) } requirement {(0, ¬c) } requirement {(-1, ¬a) } requirement {(0, ¬c) } requirement {(-1, ⊡) } contingent {(10E, -22, ⊡) } {(-4, ⊡) } requirement {(970, ⊡) } requirement {(100, ¬a) } requirement {(-1, ¬c) } requirement {(10, ⊡) } requirement {(-1, a) } requirement {(-1, ¬b) } requirement {(-1, ⊡) } requirement {(-43, ¬a) } contingent {(9E, 6, ¬a) } {(48, ¬a) } requirement {(5, b) } contingent {(17E, 4, ¬b) } {(45, ¬b) } requirement {(100, b) } contingent {(5E, 5, ¬c) } {(37, ¬c) } requirement {(-1, ⊡) } requirement {(5, ⊡) } requirement {(-1, ¬c) } requirement {(0, b) } contingent {(11E, 5, ⊡) } {(52, ⊡) } requirement {(-104, ¬c) } contingent {(13E, 12, ⊡) } {(52, ⊡) } requirement {(10, ⊡) } requirement {(100, a) } requirement {(100, b) } contingent {(8E, -24, a) } {(-11, a) } contingent {(8E, 14, a) } {(43, a) } requirement {(-1, c) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, a) } requirement {(-1, ⊡) } requirement {(100, ⊡) } requirement {(100, ⊡) } requirement {(5, ⊡) } contingent {(11E, -29, ⊡) } {(-4, ⊡) } requirement {(0, ¬a) } requirement {(100, c) } requirement {(0, b) } requirement {(100, c) } requirement {(-1, ⊡) } requirement {(-1, b) } requirement {(-1, c) } requirement {(-1, ⊡) } requirement {(10, ⊡) } requirement {(-1, ⊡) } requirement {(100, ⊡) } requirement {(0, ¬a) } requirement {(-1, ⊡) } requirement {(5, a) } requirement {(5, ⊡) } requirement {(-1, ¬a) } requirement {(-1, ⊡) } requirement {(10, ⊡) } requirement {(100, ⊡) } requirement {(104, ¬a¬c) } requirement {(5, ¬a) } requirement {(10, ⊡) } requirement {(100, ¬b) } contingent {(5E, -21, ¬c) } {(-4, ¬c) } contingent {(13E, -29, ⊡) } {(-9, ⊡) } requirement {(-1, ¬c) } requirement {(-1, ⊡) } requirement {(180, ¬c) } requirement {(100, a) } contingent {(12E, 8, ⊡) } {(39, ⊡) } requirement {(-118, ⊡) } requirement {(100, ⊡) } requirement {(100, ⊡) } requirement {(0, ¬b) } requirement {(100, ¬a) } requirement {(-1, ¬a) } requirement {(-1, ¬a) } requirement {(100, ⊡) } requirement {(-1, ⊡) } contingent {(9E, -27, ¬a) } {(-4, ¬a) } requirement {(5, ¬a) } contingent {(4E, 3, c) } {(37, c) } requirement {(0, c) } requirement {(-1, ⊡) } requirement {(0, a) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(100, ¬b) } requirement {(0, c) } requirement {(100, ¬c) } requirement {(5, a) } requirement {(-1, b) } requirement {(-32, a¬c) } requirement {(-35, ¬a¬c) } requirement {(-1, ⊡) } contingent {(17E, -25, ¬b) } {(-3, ¬b) } requirement {(-1, a) } requirement {(-1, ⊡) } requirement {(250, ⊡) }