Assertion: hull | /r/HasSubgroup | remaining hull
Facets:
Source sentences: