Assertion: possible state | /r/HasProperty | enumerated across row
Facets:
Source sentences:
text: In the state-transition table, all possible inputs to the finite-state machine are enumerated across the columns of the table, while all possible states are enumerated across the rows.