Assertion: dominance | /r/HasSubgroup | diagonal dominance
Facets:
Source sentences: