CREATE TABLE manufacturers (code DECIMAL, name TEXT, headquarter TEXT, founder TEXT, revenue DECIMAL)
CREATE TABLE products (code DECIMAL, name TEXT, price DECIMAL, manufacturer DECIMAL)

What is the total revenue of companies with revenue greater than the lowest revenue of any manufacturer in Austin?
SELECT SUM(revenue) FROM manufacturers WHERE revenue > (SELECT MIN(revenue) FROM manufacturers WHERE headquarter = 'Austin')
SELECT SUM("revenue") FROM "manufacturers" WHERE "revenue" > (SELECT MIN("revenue") FROM "manufacturers" WHERE "headquarter" = 'Austin')