Table schema:
CREATE TABLE College (enr INTEGER)

Question: What is the total enrollment number of all colleges?
SQL: SELECT SUM(enr) FROM College