Task: Text to Code
Input (English): select the row whose result record of all rows is 3rd maximum . the opponent record of this row is arizona cardinals .
Output (English): eq { hop { nth_argmax { all_rows ; result ; 3 } ; opponent } ; arizona cardinals }