Assertion: machine's state | /r/HasAspect | substate
Facets:
Source sentences:
text: A state which has substates (nested states) is called a composite state.