Assertion: machine's state | /r/HasProperty | state i.
Facets:
Source sentences:
text: The initial state is state A, and the final state is state I.