Question: How many students are enrolled in college?
SQL: SELECT sum(enr) FROM College