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