Task: Text to Code
Input (English): select the row whose floors record of all rows is 3rd maximum . the street address record of this row is 1111 main street .
Output (English): eq { hop { nth_argmax { all_rows ; floors ; 3 } ; street address } ; 1111 main street }