Assertion: shortening | /r/HasSubgroup | solid shortening
Facets:
Source sentences: