Assertion: verdict | /r/HasSubgroup | quotient verdict
Facets:
Source sentences: