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