Task: Text to Code
Input (English): Command: and { eq { max { all_rows ; best finish } ; t - 17 } ; eq { hop { argmax { all_rows ; best finish } ; year } ; 2000 } }, interpretation: the maximum best finish record of all rows is t - 17 . the year record of the row with superlative best finish record is 2000 .
Output (English): yes