Assertion: packing | /r/HasSubgroup | sphere packing
Facets:
Source sentences: