Question: What are the names of all companies whose revenue is larger than the revenue of all companies based in Austin?
SQL: SELECT name FROM manufacturers WHERE revenue  >   ( SELECT min ( revenue )  FROM manufacturers WHERE headquarter   =   'Austin' )