Assertion: machine's state | /r/HasProperty | error
Facets:
Source sentences:
text: states-to-go) (error