Assertion: ad | /r/HasSubgroup | reductio ad
Facets:
Source sentences: