Assertion: pun | /r/HasSubgroup | geometry pun
Facets:
Source sentences: