Task: Text to Code
Input (English): select the row whose date won record of all rows is 4th maximum . the champion ( s ) record of this row is atomo & sonico .
Output (English): eq { hop { nth_argmax { all_rows ; date won ; 4 } ; champion ( s ) } ; atomo & sonico }