Task: Text to Code
Input (English): the 3rd minimum round record of all rows is 3 . the name record of the row with 3rd minimum round record is scott starks .
Output (English): and { eq { nth_min { all_rows ; round ; 3 } ; 3 } ; eq { hop { nth_argmin { all_rows ; round ; 3 } ; name } ; scott starks } }