Task: Code to Text
Input (English): eq { hop { nth_argmax { all_rows ; points ; 3 } ; rider } ; mick grant } = true
Output (English): select the row whose points record of all rows is 3rd maximum . the rider record of this row is mick grant .