Assertion: machine's state | /r/HasProperty | nested
Facets:
Source sentences:
text: As mentioned above, states in state machine diagrams can be nested.