Database: phone_1
Question: How many phone hardware models are produced by the company named "Nokia Corporation"?
SQL:
SELECT count(*) FROM phone WHERE Company_name = "Nokia Corporation";