Assertion: ruler | /r/HasSubgroup | different ruler
Facets:
Source sentences: