Task: Text to Code
Input (English): the 16th minimum date record of all rows is december 20 , 1981 .
Output (English): eq { nth_min { all_rows ; date ; 16 } ; december 20 , 1981 }