Assertion: colexicographical order | /r/HasProperty | defined
Facets:
Source sentences:
text: the colexicographical order is defined by