Assertion: containment | /r/HasSubgroup | open containment
Facets:
Source sentences: