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