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: 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') ]+}|{} Value for STN edge. Format: 'integer' Labeled Values. Format: {[('integer', 'label') ]+}|{} 1 1 CSTNU 2 4 testGraphML4.cstnu 100 ⊡ 60 400 ⊡ 60 p 100 ⊡ 160 400 ¬p 160 contingent {(Y, 2, ¬p) } {} contingent {(Y, -5, ¬p) } {}