2008 kentucky wildcats football team
11 players are listed as members of the 2008 kentucky wildcats football team .
{'scope': 'all', 'criterion': 'all', 'value': 'n/a', 'result': '11', 'col': '3', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_all', 'args': ['all_rows', 'name'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose name record is arbitrary .', 'tostr': 'filter_all { all_rows ; name }'}], 'result': '11', 'ind': 1, 'tostr': 'count { filter_all { all_rows ; name } }', 'tointer': 'select the rows whose name record is arbitrary . the number of such rows is 11 .'}, '11'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_all { all_rows ; name } } ; 11 } = true', 'tointer': 'select the rows whose name record is arbitrary . the number of such rows is 11 .'}
eq { count { filter_all { all_rows ; name } } ; 11 } = true
select the rows whose name record is arbitrary . the number of such rows is 11 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_all_0': 'filter_all', 'all_rows_4': 'all_rows', 'name_5': 'name', '11_6': '11'}
['position', 'number', 'name', 'height', 'weight', 'class', 'hometown', 'games ↑']
[['qb', '5', 'mike hartline', "6 ' 6", "' 205", 'so', 'canton , ohio', '5'], ['tb', '28', 'tony dixon', "' 5 ' 9", '203', 'sr', 'parrish , alabama', '5'], ['fb', '38', 'john conner', "5 ' 11", '230', 'jr', 'west chester , ohio', '5'], ['wr', '12', 'dicky lyons', "5 ' 11", '190', 'sr', 'new orleans , louisiana', '5'], ['wr', '17', 'ej adams', "6 ' 0", '197', 'jr', 'stone mountain , georgia', '3'], ['te', '80', 'tc drake', "6 ' 6 '", '242', 'jr', 'bardstown , kentucky', '4'], ['lt', '79', 'garry williams', "6 ' 3", '300', 'sr', 'louisville , kentucky', '3'], ['lg', '72', 'zipp duncan', "6 ' 5", '295', 'jr', 'magnolia , kentucky', '5'], ['c', '61', 'jorge gonzález', "6 ' 3", '303', 'jr', 'tampa bay , florida', '5'], ['rg', '73', 'jess beets', "6 ' 2", '293', 'sr', 'dove canyon , california', '5'], ['rt', '72', 'brad durham', "6 ' 4", '310', 'so', 'mount vernon , kentucky', '1']]