Task: Text to Code
Input (English): select the row whose march record of all rows is 12th minimum . the score record of this row is 8 - 7 .
Output (English): eq { hop { nth_argmin { all_rows ; march ; 12 } ; score } ; 8 - 7 }