Assertion: machine's state | /r/HasProperty | simple states
Facets:
Source sentences:
text: A state machine diagram is a graph consisting of: States (simple states or composite states)