10k run
of the athletes from kenya in the 10k run , two of them had a time faster than 30:34 .
{'scope': 'subset', 'criterion': 'less_than', 'value': '30:34', 'result': '2', 'col': '2', 'subset': {'col': '4', 'criterion': 'equal', 'value': 'kenya'}}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_less', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'nation', 'kenya'], 'result': None, 'ind': 0, 'tostr': 'filter_eq { all_rows ; nation ; kenya }', 'tointer': 'select the rows whose nation record fuzzily matches to kenya .'}, 'time', '30:34'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose nation record fuzzily matches to kenya . among these rows , select the rows whose time record is less than 30:34 .', 'tostr': 'filter_less { filter_eq { all_rows ; nation ; kenya } ; time ; 30:34 }'}], 'result': '2', 'ind': 2, 'tostr': 'count { filter_less { filter_eq { all_rows ; nation ; kenya } ; time ; 30:34 } }', 'tointer': 'select the rows whose nation record fuzzily matches to kenya . among these rows , select the rows whose time record is less than 30:34 . the number of such rows is 2 .'}, '2'], 'result': True, 'ind': 3, 'tostr': 'eq { count { filter_less { filter_eq { all_rows ; nation ; kenya } ; time ; 30:34 } } ; 2 } = true', 'tointer': 'select the rows whose nation record fuzzily matches to kenya . among these rows , select the rows whose time record is less than 30:34 . the number of such rows is 2 .'}
eq { count { filter_less { filter_eq { all_rows ; nation ; kenya } ; time ; 30:34 } } ; 2 } = true
select the rows whose nation record fuzzily matches to kenya . among these rows , select the rows whose time record is less than 30:34 . the number of such rows is 2 .
{'eq_3': 'eq', 'result_4': 'true', 'count_2': 'count', 'filter_less_1': 'filter_less', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_5': 'all_rows', 'nation_6': 'nation', 'kenya_7': 'kenya', 'time_8': 'time', '30:34_9': '30:34', '2_10': '2'}
['rank', 'time', 'athlete', 'nation', 'date', 'race']
[['1', '30:21', 'paula radcliffe', 'united kingdom', '23 february 2003', "world 's best 10k"], ['2', '30:27', 'isabella ochichi', 'kenya', '26 march 2005', 'crescent city classic'], ['3', '30:29', 'asmae leghzaoui', 'morocco', '8 june 2002', 'new york mini 10k'], ['4', '30:32', 'lornah kiplagat', 'kenya', '4 july 2002', 'peachtree road race'], ['5', '30:38', 'joyce chepkirui', 'kenya', '4 september 2011', 'tilburg 10k'], ['6', '30:39', 'liz mccolgan', 'united kingdom', '11 march 1989', 'red lobster classic'], ['7 =', '30:45', 'lineth chepkurui', 'kenya', '3 april 2010', 'crescent city classic'], ['7 =', '30:45 +', 'mary jepkosgei keitany', 'kenya', '18 february 2011', 'ras al khaimah half marathon'], ['9', '30:47', 'vivian jepkemoi cheruiyot', 'kenya', '26 february 2012', "world 's best 10k"], ['10', '30:48', 'linet chepkwemoi masai', 'kenya', '12 june 2010', 'new york mini 10k']]