Task: Text to Code
Input (English): the 3rd minimum rank record of all rows is 3 . the nation record of the row with 3rd minimum rank record is japan ( jpn ) . the silver record of the row with 3rd minimum rank record is 1 .
Output (English): and { eq { nth_min { all_rows ; rank ; 3 } ; 3 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 3 } ; nation } ; japan ( jpn ) } ; eq { hop { nth_argmin { all_rows ; rank ; 3 } ; silver } ; 1 } } }