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