Instance Always


Slots on instance Always:

Documentation:
Specifies that an pre-condition must always hold, before, during, and after an activity is performed.
Instance-Of: Pre-Condition-When-Hold, Eo-Entity, Individual, Individual-Thing, Misc-Spec-Detail, Thing, When-Hold-Spec