Assertion: machine's state | /r/HasProperty | constraint
Facets:
Source sentences:
text: A state is a constraint or a situation in the life cycle of an object, in which a constraint holds, the object executes an activity or waits for an event.