Assertion: sleeve | /r/HasSubgroup | simple sleeve
Facets:
Source sentences: