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