Instance Always

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