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