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