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. normal Value for STN edge. Format: 'integer' STN 18 8 testGraphML.stn 192.0 42.0 353.0 -15.0 439.0 521.0 671.0 178.0 133.0 397.0 605.0 44.0 135.0 239.0 647.0 390.0 requirement 0 requirement 1 requirement 4 requirement 4 requirement -6 requirement 0 requirement 0 requirement 0 requirement 0 requirement 0 requirement 0 requirement 1 requirement -1 requirement 1 requirement 1 requirement -1 requirement 4 requirement 4