indiana high school athletics conferences : allen county - metropolitan
among the schools in the allen county - metropolitan division ( indiana high school athletics conference ) , the only one with an enrollment higher than 3000 is lake central .
{'scope': 'all', 'row': '4', 'col': '4', 'col_other': '1', 'criterion': 'greater_than', 'value': '3000', 'subset': None}
{'func': 'and', 'args': [{'func': 'only', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'enrollment', '3000'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose enrollment record is greater than 3000 .', 'tostr': 'filter_greater { all_rows ; enrollment ; 3000 }'}], 'result': True, 'ind': 1, 'tostr': 'only { filter_greater { all_rows ; enrollment ; 3000 } }', 'tointer': 'select the rows whose enrollment record is greater than 3000 . there is only one such row in the table .'}, {'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'enrollment', '3000'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose enrollment record is greater than 3000 .', 'tostr': 'filter_greater { all_rows ; enrollment ; 3000 }'}, 'school'], 'result': 'lake central', 'ind': 2, 'tostr': 'hop { filter_greater { all_rows ; enrollment ; 3000 } ; school }'}, 'lake central'], 'result': True, 'ind': 3, 'tostr': 'eq { hop { filter_greater { all_rows ; enrollment ; 3000 } ; school } ; lake central }', 'tointer': 'the school record of this unqiue row is lake central .'}], 'result': True, 'ind': 4, 'tostr': 'and { only { filter_greater { all_rows ; enrollment ; 3000 } } ; eq { hop { filter_greater { all_rows ; enrollment ; 3000 } ; school } ; lake central } } = true', 'tointer': 'select the rows whose enrollment record is greater than 3000 . there is only one such row in the table . the school record of this unqiue row is lake central .'}
and { only { filter_greater { all_rows ; enrollment ; 3000 } } ; eq { hop { filter_greater { all_rows ; enrollment ; 3000 } ; school } ; lake central } } = true
select the rows whose enrollment record is greater than 3000 . there is only one such row in the table . the school record of this unqiue row is lake central .
{'and_4': 'and', 'result_5': 'true', 'only_1': 'only', 'filter_greater_0': 'filter_greater', 'all_rows_6': 'all_rows', 'enrollment_7': 'enrollment', '3000_8': '3000', 'str_eq_3': 'str_eq', 'str_hop_2': 'str_hop', 'school_9': 'school', 'lake central_10': 'lake central'}
['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']]