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