Assertion: order | /r/HasProperty | the ordering
Facets:
Source sentences:
text: x} precedes y {\displaystyle y} if and only if y {\displaystyle y} is either x {\displaystyle x} or the sum of x {\displaystyle x} and some positive integer (other orderings include the ordering 2 , 4 , 6 , . . .