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