Task: Text to Code
Input (English): the maximum points record of all rows is 581 . the player record of the row with superlative points record is kendall gill .
Output (English): and { eq { max { all_rows ; points } ; 581 } ; eq { hop { argmax { all_rows ; points } ; player } ; kendall gill } }