Assertion: definition | /r/HasSubgroup | extensional definition
Facets:
Source sentences: