Context: CREATE TABLE College (enr INTEGER)
Question: What is the total enrollment number of all colleges?
Answer: SELECT SUM(enr) FROM College