Database: geo
Question: what is the population of boulder
SQL:
SELECT population FROM city WHERE city_name  =  "boulder";