Instance Before-T-End


Slots on instance Before-T-End:

Documentation:
Specifies that a pre-condition must hold before the performance of an activity commences.
Instance-Of: Pre-Condition-When-Hold, Eo-Entity, Individual, Individual-Thing, Misc-Spec-Detail, Thing, When-Hold-Spec