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 Labeled Lower-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Labeled Upper-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Value for STN edge. Format: 'integer' Labeled Values. Format: {[('integer', 'label') ]+}|{} 1 1 CSTNU 2 4 0.0 ⊡ 0.0 0.0 ¬p 0.0 0.0 ⊡ 0.0 p 0.0 ⊡ 0.0 contingent {(X, 2, ¬p) } {} contingent {(X, -5, ¬p) } {}