Assertion: machine's state | /r/HasProperty | exited
Facets:
Source sentences:
text: happening”, states are exited, and entered and the relevant actions are performed