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