Assertion: state | /r/HasProperty | output
Facets:
Source sentences:
text: The row/column intersections indicate next states and (optionally) outputs associated with the state transitions.