Task: Text to Code
Input (English): Command: eq { hop { argmax { all_rows ; enrolment } ; school } ; pembroke school }, interpretation: select the row whose enrolment record of all rows is maximum . the school record of this row is pembroke school .
Output (English): yes