Proposition (Atom)
Inheritance
Ancestors
Condition_Type
Proposition
Attributes
Attribute name
Description
Proposition_Title
{P;S;}
Remarks
Containment
Parents:
PatternBased_Requirement
Formal Specification
Structural Semantics:
CyPhyML.4ml
Ancestors