Table schema:
CREATE TABLE city (Population INTEGER, District VARCHAR)

Question: How many people live in Gelderland district?
SQL: SELECT SUM(Population) FROM city WHERE District = "Gelderland"