Assertion: state | /r/HasSubgroup | program state
Facets:
Source sentences: