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