Assertion: machine's state | /r/HasProperty | represented by node
Facets:
Source sentences:
text: Each state is represented by a node (circle).