Object Type hasStateMachine State Machine

State Machine ofObjectType Object Type

Read First: State Machine

State machines are assumed to belong to exactly one object type.