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