Assertion: hypothesis | /r/HasSubgroup | maximal theory
Facets:
Source sentences: