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 1.0 ⊡ 1.0 1000.0 ⊡ 1000.0 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, ⊡) } 734.0 ¬d 484.0 173.0 ⊡ 412.0 151.0 ⊡ 135.0 560.0 ¬d¬e 456.0 20.0 ¬f 241.0 659.0 ¬d¬e 251.0 114.0 ⊡ 36.0 750.0 ⊡ 777.0 f 17.0 ⊡ 145.0 26.0 ⊡ 327.0 128.0 ⊡ 775.0 452.0 ¬d 369.0 31.0 ⊡ 778.0 e 584.0 ¬d 277.0 193.0 ⊡ 30.0 539.0 ¬d 282.0 783.0 ⊡ 521.0 392.0 ⊡ 623.0 368.0 ⊡ 439.0 552.0 d 581.0 47.0 ¬f 104.0 773.0 ⊡ 783.0 577.0 ¬de 234.0 21.0 ⊡ 724.0 150.0 ⊡ 339.0 470.0 d 507.0 663.0 d 580.0 778.0 ⊡ 735.0 27.0 ⊡ 69.0 266.0 ⊡ 757.0 d 545.0 ⊡ 389.0 781.0 ⊡ 638.0 728.0 ⊡ 658.0 505.0 ¬de 220.0 568.0 ⊡ 686.0 416.0 ¬de 214.0 28.0 ⊡ 20.0 663.0 ¬d¬e 334.0 661.0 ¬d 381.0 178.0 ¬f 179.0 30.0 f 200.0 61.0 ⊡ 640.0 193.0 ⊡ 545.0 requirement {(-1, ¬de) } requirement {(-1, ¬d¬e) } requirement {(5, ¬d¬e) } requirement {(100, ¬d¬e) } requirement {(5, ¬de) } contingent {(4E, -25, ⊡) } {(-3, ⊡) } requirement {(0, ¬f) } requirement {(100, f) } requirement {(-1, ¬de) } requirement {(0, ¬d¬e) } requirement {(5, ¬de) } requirement {(100, ¬d) } requirement {(0, ¬de) } requirement {(-1, ¬d) } requirement {(-14, ⊡) } requirement {(100, ⊡) } requirement {(0, ¬d¬e) } requirement {(-1, ¬d¬e) } requirement {(-1, ¬f) } requirement {(-1, ¬d¬e) } requirement {(-91, ⊡) } requirement {(43, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, f) } requirement {(-20, ¬de¬f) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(0, ¬d¬e) } requirement {(100, ⊡) } requirement {(5, ¬f) } requirement {(0, d) } requirement {(0, ¬de) } requirement {(0, ¬f) } contingent {(7E, -24, ⊡) } {(-4, ⊡) } requirement {(-1, ¬f) } requirement {(0, ¬d) } requirement {(-1, ¬d¬e) } requirement {(100, ⊡) } requirement {(5, d) } contingent {(16E, 7, ¬de) } {(41, ¬de) } requirement {(5, ¬d) } requirement {(100, ⊡) } requirement {(0, d) } requirement {(-1, ⊡) } requirement {(10, ¬d) } requirement {(5, ¬d¬e) } contingent {(17E, 5, ¬d¬e) } {(39, ¬d¬e) } requirement {(5, f) } requirement {(345, ¬d¬e) } requirement {(-1, ⊡) } requirement {(5, ⊡) } requirement {(99, ¬de¬f) } requirement {(0, ¬d) } contingent {(3E, -25, ⊡) } {(-3, ⊡) } requirement {(100, ¬de) } contingent {(13E, 4, d) } {(46, d) } requirement {(10, ⊡) } requirement {(-1, d) } requirement {(-1, ¬de) } contingent {(5E, -16, ⊡) } {(-2, ⊡) } contingent {(5E, 3, ⊡) } {(28, ⊡) } requirement {(100, d) } contingent {(6E, 9, ⊡) } {(46, ⊡) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(100, ¬d) } requirement {(-1, ⊡) } requirement {(-1, ¬d) } contingent {(2E, 8, ⊡) } {(48, ⊡) } requirement {(5, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ¬f) } requirement {(5, ¬f) } requirement {(-1, ¬f) } contingent {(2E, -27, ⊡) } {(-6, ⊡) } requirement {(0, ¬d) } requirement {(100, ¬de) } requirement {(100, ¬f) } contingent {(7E, 5, ⊡) } {(43, ⊡) } contingent {(3E, 4, ⊡) } {(45, ⊡) } requirement {(-1, ⊡) } requirement {(933, ⊡) } requirement {(-39, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ¬d) } requirement {(-1, d) } requirement {(-1, ¬d) } requirement {(-1, ⊡) } requirement {(0, ¬de) } requirement {(-1, ¬d) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-147, ¬d¬e) } contingent {(13E, -26, d) } {(-3, d) } requirement {(100, ¬d¬e) } contingent {(10E, -26, ¬f) } {(-11, ¬f) } requirement {(-1, ⊡) } requirement {(0, ¬de) } requirement {(10, ⊡) } requirement {(5, f) } requirement {(-1, d) } contingent {(10E, 14, ¬f) } {(46, ¬f) } requirement {(0, ¬d¬e) } requirement {(0, ¬de) } contingent {(16E, -23, ¬de) } {(-5, ¬de) } requirement {(5, d) } requirement {(100, ⊡) } requirement {(100, d) } requirement {(-1, d) } requirement {(-1, ¬d) } requirement {(5, ¬d) } requirement {(100, ¬f) } requirement {(-1, f) } requirement {(5, ¬d) } requirement {(-1, f) } requirement {(112, ⊡) } requirement {(100, ⊡) } contingent {(4E, 4, ⊡) } {(45, ⊡) } requirement {(-1, ¬de) } requirement {(0, ¬d) } requirement {(10, ⊡) } requirement {(0, ¬d¬e) } requirement {(100, ⊡) } requirement {(10, ⊡) } contingent {(6E, -26, ⊡) } {(-7, ⊡) } contingent {(17E, -22, ¬d¬e) } {(-4, ¬d¬e) } requirement {(100, ⊡) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(500, ⊡) }