What are the names of the colleges that are larger than at least one college in Florida?
return colleges ;return #1 in  Florida ;return largeness of #2 ;return #2 where #3 is lowest ;return largeness of #1 ;return #1 where #5 is higher than #4
['select', 'filter', 'project', 'superlative', 'project', 'comparative']