condition and action of a [...] condition and an action [...] Diagram Show prompt
condition of a transition [...] condition [...] conditions of multiple
conditions for a state [...] , the condition is TRUE [...] the condition from the state