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 Labeled Lower-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Labeled Upper-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Labeled Values. Format: {[('integer', 'label') ]+}|{} 2 0 CSTNPSU 8 6 template_parent_006-021.cstnpsu 92.0 201.0 252.0 91.0 536.0 193.0 555.0 447.0 227.0 565.0 86.0 465.0 requirement {(1000, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(1000, ⊡) } requirement {(500, ⊡) }