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