Task: Text to Code
Input (English): select the row whose size record of all rows is 2nd maximum . the building record of this row is copenhagen concert hall .
Output (English): eq { hop { nth_argmax { all_rows ; size ; 2 } ; building } ; copenhagen concert hall }