Assertion: predicate's property | /r/HasProperty | the order relation
Facets:
value: between the numbers
type: OTHER
value: between their value
type: OTHER
Source sentences:
text: The properties which matters are the order relation between the numbers and their value modulo the period m {\displaystyle m} .