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