Task: Code to Text
Input (English): eq { hop { argmax { all_rows ; points defending } ; player } ; martina hingis } = true
Output (English): select the row whose points defending record of all rows is maximum . the player record of this row is martina hingis .