indiana high school athletics conferences : allen county - metropolitan
among the schools in the allen county - metropolitan division ( indiana high school athletics conference ) , five have an enrollment over 2000 .
{'scope': 'all', 'criterion': 'greater_than', 'value': '2000', 'result': '5', 'col': '4', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'enrollment', '2000'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose enrollment record is greater than 2000 .', 'tostr': 'filter_greater { all_rows ; enrollment ; 2000 }'}], 'result': '5', 'ind': 1, 'tostr': 'count { filter_greater { all_rows ; enrollment ; 2000 } }', 'tointer': 'select the rows whose enrollment record is greater than 2000 . the number of such rows is 5 .'}, '5'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_greater { all_rows ; enrollment ; 2000 } } ; 5 } = true', 'tointer': 'select the rows whose enrollment record is greater than 2000 . the number of such rows is 5 .'}
eq { count { filter_greater { all_rows ; enrollment ; 2000 } } ; 5 } = true
select the rows whose enrollment record is greater than 2000 . the number of such rows is 5 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_greater_0': 'filter_greater', 'all_rows_4': 'all_rows', 'enrollment_5': 'enrollment', '2000_6': '2000', '5_7': '5'}
['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']]