Task: Text to Code
Input (English): the 4th minimum date record of all rows is december 20 . the team record of the row with 4th minimum date record is kansas .
Output (English): and { eq { nth_min { all_rows ; date ; 4 } ; december 20 } ; eq { hop { nth_argmin { all_rows ; date ; 4 } ; team } ; kansas } }