Assertion: machine's state | /r/HasProperty | con
Facets:
Source sentences:
text: state (cons (cdr cur-state)