What is the total revenue of companies with revenue greater than the lowest revenue of any manufacturer in Austin?
return manufacturers ;return #1 in  Austin ;return revenues of #2 ;return lowest of #3 ;return companies ;return revenues of #5 ;return #6 that are higher than #4 ;return sum of #7
['select', 'filter', 'project', 'aggregate', 'select', 'project', 'filter', 'aggregate']