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 CSTNPSU 190 61 template_086_controllable.cstnpsu 3225.0 ⊡ 637.5 2725.0 a 1512.5 1125.0 b 450.0 1725.0 ⊡ 675.0 2825.0 d 912.5 3725.0 ⊡ 1125.0 1825.0 ⊡ 675.0 2925.0 a 1137.5 1625.0 ⊡ 675.0 725.0 ¬b 1350.0 3525.0 c 987.5 825.0 be 850.0 1025.0 b¬e 50.0 a 2625.0 ⊡ 1312.5 125.0 ⊡ 900.0 3025.0 ⊡ 637.5 2825.0 ¬d 362.5 2225.0 ⊡ 962.5 3325.0 ⊡ 637.5 e 725.0 b 450.0 25.0 ⊡ 900.0 2725.0 ¬a 1112.5 2125.0 ⊡ 962.5 2925.0 ¬d 362.5 3225.0 ⊡ 1287.5 3625.0 ¬c 1262.5 1425.0 ⊡ 675.0 2425.0 ⊡ 962.5 1925.0 ⊡ 675.0 2525.0 ⊡ 1312.5 2525.0 ⊡ 612.5 1325.0 ⊡ 675.0 825.0 b¬e 50.0 3525.0 ¬c 1587.5 4425.0 ⊡ 775.0 625.0 ¬b 1350.0 225.0 ⊡ 900.0 c 3425.0 ⊡ 1287.5 4125.0 ⊡ 775.0 2925.0 d 912.5 325.0 ⊡ 900.0 3325.0 ⊡ 1287.5 4225.0 ⊡ 775.0 525.0 ¬b 1350.0 1225.0 b 450.0 3925.0 ⊡ 1125.0 2325.0 ⊡ 962.5 3425.0 ¬c 1587.5 2725.0 d 862.5 2825.0 a 1137.5 3025.0 ⊡ 1287.5 625.0 b 450.0 525.0 b 450.0 1525.0 ⊡ 675.0 4325.0 ⊡ 775.0 d 2625.0 ⊡ 612.5 b 425.0 ⊡ 900.0 3825.0 ⊡ 1125.0 925.0 b¬e 50.0 2025.0 ⊡ 675.0 2725.0 ¬d 362.5 requirement {(-1, b) } requirement {(-5, ad) } requirement {(144, b¬e) } requirement {(-1, b¬e) } requirement {(0, ¬d) } requirement {(100, ¬c) } contingent {(8E, 5, ⊡) } {(36, ⊡) } requirement {(0, b¬e) } requirement {(-1, ¬b) } requirement {(0, d) } requirement {(-1, b) } requirement {(-1, ⊡) } contingent {(6E, -27, b¬e) } {(-8, b¬e) } requirement {(10, ⊡) } requirement {(23, ad) } requirement {(100, ¬a) } requirement {(0, ¬c) } requirement {(0, b) } requirement {(-1, ¬c) } requirement {(-44, ¬b) } requirement {(5, ¬c) } requirement {(-1, c) } requirement {(-1, ¬c) } requirement {(-74, a¬b) } requirement {(-1, ⊡) } requirement {(5, b) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } contingent {(22E, -23, d) } {(-5, d) } requirement {(0, ¬c) } requirement {(-1, be) } requirement {(-1, ⊡) } contingent {(22E, 7, d) } {(41, d) } requirement {(5, b¬e) } requirement {(252, a¬b) } requirement {(-17, ⊡) } requirement {(100, ⊡) } requirement {(100, ⊡) } requirement {(10, ⊡) } requirement {(-1, b¬e) } requirement {(-1, b) } requirement {(100, ⊡) } requirement {(0, a) } requirement {(100, ⊡) } requirement {(100, be) } requirement {(100, ¬b) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(190, ¬b) } requirement {(10, ⊡) } requirement {(-1, ⊡) } requirement {(5, b¬e) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(57, ⊡) } contingent {(10E, -29, ⊡) } {(-9, ⊡) } requirement {(100, ⊡) } contingent {(9E, -29, ⊡) } {(-7, ⊡) } contingent {(11E, 2, ⊡) } {(39, ⊡) } requirement {(5, b) } requirement {(5, ¬c) } requirement {(100, a) } requirement {(0, b¬e) } requirement {(-1, ¬d) } requirement {(100, c) } requirement {(-1, b¬e) } requirement {(10, ⊡) } requirement {(-22, ¬b) } requirement {(5, ¬a) } requirement {(-1, be) } requirement {(-1, ⊡) } requirement {(10, ⊡) } requirement {(-1, ¬a) } contingent {(19E, -19, ¬c) } {(-2, ¬c) } requirement {(100, ¬b) } requirement {(-1, ⊡) } requirement {(10, b) } requirement {(100, b) } requirement {(0, d) } requirement {(5, ¬b) } contingent {(7E, 13, ¬b) } {(52, ¬b) } requirement {(0, b) } requirement {(5, ⊡) } requirement {(5, a) } requirement {(5, b) } requirement {(100, ⊡) } requirement {(-70, d) } requirement {(-5, a¬d) } requirement {(100, ⊡) } requirement {(-27, b¬e) } requirement {(5, a) } requirement {(-1, ⊡) } requirement {(24, a¬d) } requirement {(-1, ¬d) } requirement {(-1, b¬e) } requirement {(5, d) } requirement {(100, ⊡) } requirement {(-1, d) } contingent {(23E, -27, ¬d) } {(-4, ¬d) } requirement {(0, b¬e) } contingent {(16E, 3, a) } {(45, a) } requirement {(-1, ⊡) } requirement {(100, ⊡) } requirement {(5, d) } requirement {(-70, ⊡) } requirement {(-1, ⊡) } requirement {(5, be) } requirement {(-1, ¬b) } contingent {(19E, 3, ¬c) } {(34, ¬c) } requirement {(5, ⊡) } requirement {(5, ⊡) } requirement {(5, ¬a) } requirement {(-1, ¬a) } requirement {(0, a) } requirement {(-1, b) } requirement {(100, b) } requirement {(-1, ¬c) } requirement {(100, ¬c) } requirement {(-1, ⊡) } requirement {(49, ¬b) } requirement {(-1, c) } requirement {(10, ⊡) } requirement {(5, ¬b) } requirement {(-1, ¬a) } requirement {(1087, ⊡) } requirement {(-1, d) } requirement {(100, d) } requirement {(-1, d) } requirement {(0, b) } requirement {(100, b¬e) } requirement {(5, c) } requirement {(-1, ⊡) } requirement {(0, ¬b) } requirement {(100, d) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(100, ⊡) } requirement {(100, ¬d) } requirement {(-1, ⊡) } requirement {(-1, ¬d) } contingent {(11E, -22, ⊡) } {(-1, ⊡) } contingent {(7E, -29, ¬b) } {(-10, ¬b) } requirement {(-1, a) } requirement {(5, ¬d) } requirement {(-1, ¬c) } requirement {(100, ⊡) } requirement {(-1, b) } requirement {(100, ⊡) } contingent {(10E, 12, ⊡) } {(52, ⊡) } requirement {(5, ⊡) } requirement {(-1, ⊡) } requirement {(137, ¬b) } requirement {(0, b¬e) } requirement {(5, c) } requirement {(10, ⊡) } requirement {(-1, ¬b) } contingent {(16E, -25, a) } {(-2, a) } requirement {(0, b¬e) } requirement {(-1, c) } requirement {(-1, ¬d) } requirement {(-1, ⊡) } requirement {(-47, ¬b) } contingent {(23E, 6, ¬d) } {(48, ¬d) } requirement {(0, b) } requirement {(-1, ⊡) } requirement {(-1, a) } requirement {(-1, a) } requirement {(122, d) } requirement {(-1, ⊡) } requirement {(100, a) } requirement {(0, ¬d) } requirement {(-1, ¬b) } requirement {(-1, be) } requirement {(-1, b) } requirement {(100, ⊡) } requirement {(0, ¬b) } requirement {(5, be) } contingent {(9E, 9, ⊡) } {(52, ⊡) } requirement {(0, be) } requirement {(-1, ⊡) } contingent {(8E, -20, ⊡) } {(-4, ⊡) } requirement {(10, ⊡) } requirement {(-1, a) } requirement {(5, ¬d) } requirement {(-1, d) } requirement {(100, b¬e) } contingent {(6E, 10, b¬e) } {(48, b¬e) } requirement {(100, ¬d) } requirement {(-1, ⊡) } requirement {(-1, ⊡) }