Assertion: state | /r/HasSubgroup | hi z state
Facets:
Source sentences: