This defines a restricted subset of State-Of-Affairs, where the relationship is of type Epml-Activity-Status
(<=> (Epml-Activity-Condition ?X) (Restricted-List-Of-Relsents ?X '(Epml-Activity-Status)))
(Inherited-Facet-Value Slot-Value-Type Epml-Input-Activity-Status-Constraint State-Description Epml-Activity-Condition) (Inherited-Facet-Value Slot-Value-Type Epml-Output-Activity-Status-Constraint State-Description Epml-Activity-Condition)