Task: Text to Code
Input (English): the maximum money record of all rows is 2400 . the player record of the row with superlative money record is jimmy demaret .
Output (English): and { eq { max { all_rows ; money } ; 2400 } ; eq { hop { argmax { all_rows ; money } ; player } ; jimmy demaret } }