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