Assertion: k combination | /r/CapableOf | differ in their largest element
Facets:
Source sentences:
text: By the definition of the lexicographic ordering, two k-combinations that differ in their largest element