Table schema:
CREATE TABLE College (enr INTEGER)

Question: What is the average enrollment number?
SQL: SELECT AVG(enr) FROM College