Table: indiana high school athletics conferences : allen county - metropolitan
[['school', 'mascot', 'location', 'enrollment', 'ihsaa class', 'ihsaa football class', 'county'], ['chesterton', 'trojans', 'chesterton', '1986', 'aaaa', 'aaaaa', '64 porter'], ['crown point', 'bulldogs', 'crown point', '2532', 'aaaa', 'aaaaa', '45 lake'], ['laporte', 'slicers', 'laporte', '1839', 'aaaa', 'aaaaa', '46 laporte'], ['lake central', 'indians', 'saint john', '3225', 'aaaa', 'aaaaa', '45 lake'], ['merrillville', 'pirates', 'merrillville', '2396', 'aaaa', 'aaaaa', '45 lake'], ['michigan city', 'wolves', 'michigan city', '1909', 'aaaa', 'aaaaa', '46 laporte'], ['portage', 'indians', 'portage', '2668', 'aaaa', 'aaaaa', '64 porter'], ['valparaiso', 'vikings', 'valparaiso', '2114', 'aaaa', 'aaaaa', '64 porter']]
Statement: the school Chesterton in Chesterton has an Enrollment less than the school Lake Central in Saint John
Statement: both Lake Central school in Saint John and Portage school in Portage have the Mascot Indian
Statement: the school Crown Point in Crown Point has the Mascot Bulldog , while the school Valparaiso has the Mascot Viking
Statement: the Enrollment for school Valparaiso in Valparaiso is higher than the Enrollment for the school Michigan City
Statement: both Portage and Valparaiso are in the Ihsaa Class and the same Ihsaa Football Class