Context: CREATE TABLE district (city_population INTEGER, city_area INTEGER)
Question: Find the total population of the districts where the area is bigger than the average city area.
Answer: SELECT SUM(city_population) FROM district WHERE city_area > (SELECT AVG(city_area) FROM district)