Assertion: machine's state | /r/HasProperty | a non
Facets:
Source sentences:
text: S 1 is an accepting state and S 2 is a non accepting state.