Assertion: rational number | /r/HasProperty | sorted with graded ordering
Facets:
value: by increasing absolute values of numerators
type: MANNER
value: in reduced form
type: OTHER
Source sentences:
text: The rational numbers (in reduced form may be sorted with a graded ordering , where we first order by increasing sumof absolute values of numerator and denominator for all reduced form rational numbers, i.e. with(first grading of the ordering), then by increasing absolute values of numerators corresponding to that grade.