Task: Text to Code
Input (English): the 3rd minimum rank record of all rows is 3 . the rowers record of the row with 3rd minimum rank record is morten nielsen , thomas larsen . the time record of the row with 3rd minimum rank record is 6:38.33 .
Output (English): and { eq { nth_min { all_rows ; rank ; 3 } ; 3 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 3 } ; rowers } ; morten nielsen , thomas larsen } ; eq { hop { nth_argmin { all_rows ; rank ; 3 } ; time } ; 6:38.33 } } }