eq { hop { argmax { all_rows ; high points } ; high points } ; dalembert ( 23 ) } = true
select the row whose high points record of all rows is maximum . the high points record of this row is dalembert  23  .