Table: indiana_high_schools_2
Columns: school
location
mascot
enrollment
ihsaa_class
ihsaa_football_class
county

Question: What is the enrollment for the AAAA class in IHSAA?
SQL: SELECT SUM("enrollment") FROM indiana_high_schools_2 WHERE "ihsaa_football_class" = 'aaaa'

Question: What is the IHSAA Football class at Culver?
SQL: SELECT "ihsaa_football_class" FROM indiana_high_schools_2 WHERE "location" = 'culver'

Question: What school has the Lancers as their mascot?
SQL: SELECT "location" FROM indiana_high_schools_2 WHERE "mascot" = 'lancers'

Question: What is the total enrollment at Laville?
SQL: SELECT COUNT("enrollment") FROM indiana_high_schools_2 WHERE "school" = 'laville'