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