Assertion: order | /r/HasSubgroup | natural ordering
Facets:
Source sentences: