Find the names of the campus which has more faculties in 2002 than every campus in Orange county.
return campuses ;return #1 in  Orange county ;return faculties of #2 ;return #3 in  2002 ;return number of  #4 for each #2 ;return the  highest of #5 ;return #1 besides  #2 ;return faculties of #7 ;return #8 in  2002 ;return number of  #9 for each #7 ;return #7 where #10 is higher than #6 ;return names of #11
['select', 'filter', 'project', 'filter', 'group', 'aggregate', 'discard', 'project', 'filter', 'group', 'comparative', 'project']