Sort By Down r←x⍒y

r is the major cells of x sorted according to the descending grade of y: r←x⊇⍨⍒y.