Find names of all colleges whose enrollment is greater than that of all colleges in the FL state.
return colleges ;return enrollment number of  #1 ;return #1 in FL state ;return enrollment number of #3 ;return #1 where  #2 is  greater than  #4 ;return names of  #5
['select', 'aggregate', 'filter', 'aggregate', 'comparative', 'project']