Assertion: machine's state | /r/HasProperty | final
Facets:
Source sentences:
text: A nested state machine may have at most one initial state and one final state.