Database: manufactory_1
Question: What is the sum of revenue from companies with headquarters in Austin?
SQL:
SELECT sum(revenue) FROM manufacturers WHERE headquarter  =  'Austin'