Assertion: argument | /r/HasSubgroup | uniqueness argument
Facets:
Source sentences: