Assertion: filter | /r/HasSubgroup | cauchy filter
Facets:
Source sentences: