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