Find the total revenue of companies whose revenue is larger than the revenue of some companies based in Austin.
return companies  ;return #1 that  are based in Austin ;return the  revenues of #2 ;return the  lowest of #3 ;return the  revenues of #1 ;return #1 where #5 is  larger than #4 ;return the  revenues of #6 ;return the  sum of #7
['select', 'filter', 'project', 'aggregate', 'project', 'comparative', 'project', 'aggregate']