How many people live in Gelderland district?
CREATE TABLE city (Population INTEGER, District VARCHAR)
SELECT SUM(Population) FROM city WHERE District = "Gelderland"
### Context: CREATE TABLE city (Population INTEGER, District VARCHAR) ### Question: How many people live in Gelderland district? ### Answer: SELECT SUM(Population) FROM city WHERE District = "Gelderland"