what are the names of the companies based in Austin?
select name from manufacturers where headquarter = 'Austin'
find the names of companies whose revenue is larger than the largest revenue of those companies.
select name from manufacturers where revenue > (select min(revenue) from manufacturers where headquarter = 'Austin')
return the total revenue of the resulting companies.
select sum(revenue) from manufacturers where revenue > (select min(revenue) from manufacturers where headquarter = 'Austin')