Assertion: table | /r/HasSubgroup | state transition table
Facets:
Source sentences: