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