Assertion: loophole | /r/HasSubgroup | stepped basis loophole
Facets:
Source sentences: