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 visualization. A positive value. 0 Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡ ⊡ The y coordinate for the visualization. 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' Case Value. Format: 'LC(NodeName):integer' or 'UC(NodeName):integer' 1 STNU 6 5 20220109stnu4newRules.stnu 153.0 323.0 476.0 213.0 372.0 465.0 259.0 214.0 700.0 377.0 contingent 4 contingent -2 requirement 4 requirement -3 requirement 6 requirement -3