Every non-basic OR-state has a status variable that indicates what substate is currently active. The status type is an enumeration type that actually lists all substates of the OR-state. Status variable gets value notaS (which is the default) when state S is not active.