Definitions for "Guard condition"
a boolean expression that may be attached to a transition in order to determine whether that transition is enabled or not
a Boolean expression that must resolve to True before the associated transition can fire
a Boolean expression that must be true in order for a transition to occur