Assertion: proof | /r/HasSubgroup | artist proof
Facets:
Source sentences: