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 5 CSTNU 194 61 65.0 ⊡ 585.0 447.0 ⊡ 766.0 326.0 ⊡ 521.0 18.0 ⊡ 693.0 352.0 ¬b 761.0 87.0 ¬c 49.0 363.0 ¬d 340.0 60.0 c 33.0 541.0 ⊡ 682.0 287.0 ¬b 782.0 774.0 ¬a 440.0 776.0 ¬ae 391.0 20.0 ¬c 181.0 449.0 ⊡ 54.0 783.0 ¬a 281.0 637.0 ¬ae 479.0 735.0 a 277.0 191.0 ⊡ 478.0 217.0 ⊡ 33.0 438.0 ⊡ 141.0 467.0 b 630.0 278.0 b 602.0 780.0 ¬a 514.0 480.0 b 772.0 496.0 ⊡ 312.0 336.0 ⊡ 17.0 274.0 ⊡ 121.0 d 273.0 ⊡ 250.0 46.0 ⊡ 155.0 772.0 ¬a 186.0 356.0 d 419.0 43.0 ⊡ 738.0 251.0 d 304.0 690.0 ¬a¬e 394.0 313.0 ¬d 206.0 238.0 ¬d 377.0 680.0 ⊡ 519.0 437.0 ⊡ 23.0 b 383.0 ⊡ 745.0 298.0 ¬b 684.0 e 759.0 ¬a 356.0 87.0 ⊡ 507.0 617.0 ⊡ 621.0 776.0 ⊡ 457.0 503.0 ⊡ 492.0 c 24.0 ⊡ 80.0 781.0 ¬a¬e 249.0 654.0 ⊡ 164.0 38.0 ⊡ 783.0 a 733.0 ⊡ 318.0 216.0 d 191.0 392.0 ⊡ 323.0 20.0 ⊡ 313.0 17.0 ⊡ 630.0 491.0 ⊡ 147.0 17.0 ¬c 123.0 781.0 ¬a¬e 319.0 736.0 ¬ae 449.0 536.0 ⊡ 456.0 642.0 ⊡ 740.0 24.0 ⊡ 767.0 requirement {(0, ¬b) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(10, ⊡) } requirement {(100, ¬a) } requirement {(0, ¬d) } requirement {(-1, ¬b) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(100, ⊡) } requirement {(-1, d) } requirement {(92, d) } requirement {(-1, a) } requirement {(100, ⊡) } contingent {(10E, 5, ¬ae) } {(50, ¬ae) } requirement {(0, d) } requirement {(-34, d) } requirement {(-1, ¬a) } requirement {(100, a) } requirement {(0, d) } requirement {(100, b) } requirement {(100, ¬c) } requirement {(-1, ⊡) } requirement {(0, ¬ae) } requirement {(-1, ⊡) } contingent {(22E, 7, d) } {(43, d) } requirement {(5, ¬a¬e) } requirement {(0, ¬b) } requirement {(0, ¬a) } requirement {(-1, ¬d) } requirement {(-36, ¬a¬e) } requirement {(0, ¬a¬e) } requirement {(-1, ¬d) } requirement {(100, ⊡) } requirement {(5, ¬b) } requirement {(5, b) } requirement {(-1, ¬ae) } requirement {(-1, ⊡) } requirement {(100, ¬a¬e) } requirement {(5, d) } requirement {(-38, ¬c) } requirement {(144, ¬abe) } requirement {(10, ⊡) } requirement {(5, ⊡) } requirement {(0, ¬a¬e) } requirement {(5, ¬d) } requirement {(0, ¬a) } requirement {(-1, ¬d) } requirement {(5, ¬a¬e) } requirement {(100, ⊡) } requirement {(5, ¬b) } requirement {(-11, ¬ae) } requirement {(5, b) } requirement {(-1, ¬ae) } requirement {(-1, ¬a¬e) } requirement {(-1, d) } requirement {(-59, ¬d) } requirement {(100, ⊡) } requirement {(100, d) } requirement {(10, ⊡) } requirement {(-1, ¬b) } contingent {(2E, 5, ⊡) } {(52, ⊡) } requirement {(0, ¬a) } contingent {(12E, -25, ⊡) } {(-11, ⊡) } requirement {(100, ¬a) } requirement {(-1, ¬a) } contingent {(22E, -24, d) } {(-5, d) } requirement {(-1, ¬a¬e) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(100, ⊡) } requirement {(10, ⊡) } requirement {(100, ¬b) } requirement {(5, ¬ae) } requirement {(-1, ⊡) } requirement {(0, ¬a¬e) } requirement {(0, ¬a¬e) } requirement {(108, d) } contingent {(18E, 4, ¬b) } {(39, ¬b) } requirement {(5, ¬a) } requirement {(0, ¬ae) } requirement {(-1, ⊡) } requirement {(-1, d) } requirement {(5, ¬c) } requirement {(5, ⊡) } requirement {(-1, ¬ae) } requirement {(-1, ⊡) } requirement {(0, ¬a¬e) } requirement {(-1, ⊡) } contingent {(19E, 4, ⊡) } {(39, ⊡) } requirement {(100, ¬d) } requirement {(5, ¬a) } contingent {(5E, -23, ¬c) } {(-3, ¬c) } contingent {(5E, 4, ¬c) } {(41, ¬c) } requirement {(-1, ¬b) } requirement {(0, ¬c) } requirement {(5, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(10, ⊡) } requirement {(100, ⊡) } requirement {(100, ¬c) } requirement {(-1, ¬c) } requirement {(0, ¬c) } requirement {(5, a) } contingent {(23E, 8, ¬d) } {(50, ¬d) } requirement {(170, ¬d) } requirement {(0, ¬ae) } requirement {(10, ⊡) } requirement {(-1, ¬d) } requirement {(100, ¬b) } requirement {(-1, ¬a) } requirement {(-1, ⊡) } requirement {(-1, a) } requirement {(-1, ¬c) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(100, ¬ae) } requirement {(-1, ⊡) } requirement {(100, d) } requirement {(-1, ⊡) } requirement {(5, d) } requirement {(5, ¬d) } requirement {(-1, ⊡) } contingent {(12E, 14, ⊡) } {(45, ⊡) } contingent {(18E, -22, ¬b) } {(-3, ¬b) } requirement {(-1, ⊡) } requirement {(-1, b) } contingent {(2E, -29, ⊡) } {(-4, ⊡) } contingent {(23E, -28, ¬d) } {(-6, ¬d) } requirement {(5, ¬c) } requirement {(-1, ⊡) } requirement {(10, ¬a) } contingent {(17E, 22, b) } {(52, b) } requirement {(-1, ¬a) } requirement {(5, ¬a) } requirement {(-12, d) } requirement {(249, b) } requirement {(-1, a) } contingent {(19E, -22, ⊡) } {(-3, ⊡) } requirement {(100, ¬a¬e) } requirement {(-1, c) } requirement {(0, ¬ae) } requirement {(-1, ¬ae) } requirement {(-1, c) } requirement {(5, ¬ae) } requirement {(-1, ¬c) } requirement {(100, ⊡) } contingent {(11E, -22, ¬a¬e) } {(-4, ¬a¬e) } requirement {(100, ⊡) } requirement {(5, ⊡) } requirement {(5, c) } requirement {(137, ¬ae) } requirement {(-1, ¬b) } requirement {(100, ¬d) } requirement {(-48, b) } contingent {(17E, -29, b) } {(-17, b) } requirement {(-1, ⊡) } requirement {(5, c) } requirement {(0, ¬ae) } requirement {(-1, c) } requirement {(0, ¬a) } contingent {(11E, 5, ¬a¬e) } {(39, ¬a¬e) } requirement {(100, b) } requirement {(100, c) } requirement {(81, ¬c) } requirement {(-1, ¬a) } requirement {(-1, b) } requirement {(-1, ⊡) } requirement {(0, b) } requirement {(-1, ⊡) } requirement {(0, b) } requirement {(-1, ⊡) } contingent {(10E, -28, ¬ae) } {(-4, ¬ae) } requirement {(111, ¬a¬e) } requirement {(100, ⊡) } requirement {(-1, b) } requirement {(100, ⊡) } requirement {(-1, d) } requirement {(-1, ⊡) } requirement {(-67, ¬abe) } requirement {(0, ¬d) } requirement {(-78, ⊡) } requirement {(-1, b) } requirement {(5, a) } requirement {(-1, ¬a¬e) } requirement {(10, ⊡) } requirement {(100, ¬ae) } requirement {(-1, ¬a¬e) } requirement {(-1, ¬a) } requirement {(10, ⊡) } requirement {(-1, ⊡) } requirement {(704, ⊡) } requirement {(-1, ¬c) }