Task: Text to Code
Input (English): the 2nd minimum year record of all rows is 1994 . the men 's singles record of the row with 2nd minimum year record is juraj brestovský .
Output (English): and { eq { nth_min { all_rows ; year ; 2 } ; 1994 } ; eq { hop { nth_argmin { all_rows ; year ; 2 } ; men 's singles } ; juraj brestovský } }