Task: Text to Code
Input (English): the 4th minimum rank record of all rows is 4 . the team record of the row with 4th minimum rank record is estonia . the wins record of the row with 4th minimum rank record is 2 . the losses record of the row with 4th minimum rank record is 3 . the points record of the row with 4th minimum rank record is 4 .
Output (English): and { eq { nth_min { all_rows ; rank ; 4 } ; 4 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 4 } ; team } ; estonia } ; and { eq { hop { nth_argmin { all_rows ; rank ; 4 } ; wins } ; 2 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 4 } ; losses } ; 3 } ; eq { hop { nth_argmin { all_rows ; rank ; 4 } ; points } ; 4 } } } } }