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