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