human
Schema:
Manufacturers (Code, Name, Headquarter, Founder, Revenue)
Products (Code, Name, Price, Manufacturer)
Please answer with SQL.
assistant
Sure, I understand.
human
find the names of companies whose main office is in Tokyo.
assistant
SELECT name FROM manufacturers WHERE Headquarter = 'Tokyo';
human
What is the total revenue of these companies?
assistant
SELECT SUM( revenue ) FROM manufacturers WHERE Headquarter = "Tokyo" ;