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 visualitation. A positive value. 0 Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡ ⊡ The y coordinate for the visualitation. A positive value. 0 Labeled Potential Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Type: Possible values: normal|contingent|constraint|derived|internal. normal Value for STN edge. Format: 'integer' Labeled Values. Format: {[('integer', 'label') ]+}|{} 1 CSTN 18 5 ex2C_checked_DC.cstn a 183.0 ⊡ 300.0 10.0 ⊡ 10.0 492.0 ⊡ 316.0 329.0 a 401.0 326.0 ¬a 208.0 internal {(0, ⊡) } internal {(40, ⊡) } internal {(40, ¬a) } internal {(40, a) } internal {(40, ⊡) } normal {(4, ¬a) } normal {(-3, ¬a) } normal {(4, ¬a) } normal {(-3, ¬a) } normal {(10, a) } normal {(-3, a) } normal {(10, a) } normal {(-3, a) } normal {(7, ⊡) } normal {(-7, ⊡) } internal {(-3, ¬a) } internal {(-3, a) } internal {(-7, ⊡) }