What is the average enrollment number?
CREATE TABLE College (enr INTEGER)
SELECT AVG(enr) FROM College
### Context: CREATE TABLE College (enr INTEGER) ### Question: What is the average enrollment number? ### Answer: SELECT AVG(enr) FROM College