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