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