Assertion: universe | /r/HasSubgroup | necessary existence
Facets:
Source sentences: