Task: Text to Code
Input (English): select the rows whose enrollment record is greater than 3000 . there is only one such row in the table . the school record of this unqiue row is lake central .
Output (English): and { only { filter_greater { all_rows ; enrollment ; 3000 } } ; eq { hop { filter_greater { all_rows ; enrollment ; 3000 } ; school } ; lake central } }