Task: Text to Code
Input (English): the maximum margin record of all rows is 9 strokes . the year record of the row with superlative margin record is 4 . 1965 . the championship record of the row with superlative margin record is masters tournament ( 2 ) .
Output (English): and { eq { max { all_rows ; margin } ; 9 strokes } ; and { eq { hop { argmax { all_rows ; margin } ; year } ; 4 . 1965 } ; eq { hop { argmax { all_rows ; margin } ; championship } ; masters tournament ( 2 ) } } }