Assertion: machine's state | /r/HasProperty | e.g. c
Facets:
Source sentences:
text: The most common representation is shown below: the combination of current state (e.g. B) and input (e.g. Y) shows the next state (e.g. C).