Task: Text to Code
Input (English): the maximum wins record of all rows is 6 . the year record of the row with superlative wins record is 2011 .
Output (English): and { eq { max { all_rows ; wins } ; 6 } ; eq { hop { argmax { all_rows ; wins } ; year } ; 2011 } }