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 Value for STN edge. Format: 'integer' STN 13 8 testSTNCycle8nodes.stn 144.0 107.0 659.0 410.0 601.0 126.0 453.0 536.0 123.0 313.0 347.0 87.0 698.0 248.0 175.0 501.0 requirement 0 requirement 1 requirement 4 requirement 4 requirement 6 requirement 0 requirement 1 requirement 1 requirement 1 requirement 1 requirement -1 requirement 4 requirement 4