Assertion: universe | /r/HasSubgroup | finite universe
Facets:
Source sentences: