Task: Text to Code
Input (English): the maximum average record of all rows is 25.29 . the player record of the row with superlative average record is clarrie grimmett ( vic / sa ) .
Output (English): and { eq { max { all_rows ; average } ; 25.29 } ; eq { hop { argmax { all_rows ; average } ; player } ; clarrie grimmett ( vic / sa ) } }