Sort By Down r←x⍒y

r is the major cells of x sorted according to the descending grade of y: r←x⊇⍨⍒y. Supports the tolerance extra argument for the comparisons; supports the backward extra argument, which returns the  Sort By Up of y.