Assertion: backpack | /r/HasSubgroup | proof backpack
Facets:
Source sentences: