Question: What is the total revenue of companies with revenue greater than the lowest revenue of any manufacturer in Austin?
SQL: SELECT sum(revenue) FROM manufacturers WHERE revenue  >  (SELECT min(revenue) FROM manufacturers WHERE headquarter  =  'Austin')