10k run
of the athletes from kenya who are highly ranked in 10k runs , isabella ochichi was the fastest .
{'scope': 'subset', 'row': '2', 'col': '2', 'order': '1', 'col_other': '3', 'max_or_min': 'min_to_max', 'value_mentioned': 'no', 'subset': {'col': '4', 'criterion': 'equal', 'value': 'kenya'}}
{'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'nth_argmin', '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', '1'], 'result': None, 'ind': 1, 'tostr': 'nth_argmin { filter_eq { all_rows ; nation ; kenya } ; time ; 1 }'}, 'athlete'], 'result': 'isabella ochichi', 'ind': 2, 'tostr': 'hop { nth_argmin { filter_eq { all_rows ; nation ; kenya } ; time ; 1 } ; athlete }'}, 'isabella ochichi'], 'result': True, 'ind': 3, 'tostr': 'eq { hop { nth_argmin { filter_eq { all_rows ; nation ; kenya } ; time ; 1 } ; athlete } ; isabella ochichi } = true', 'tointer': 'select the rows whose nation record fuzzily matches to kenya . select the row whose time record of these rows is 1st minimum . the athlete record of this row is isabella ochichi .'}
eq { hop { nth_argmin { filter_eq { all_rows ; nation ; kenya } ; time ; 1 } ; athlete } ; isabella ochichi } = true
select the rows whose nation record fuzzily matches to kenya . select the row whose time record of these rows is 1st minimum . the athlete record of this row is isabella ochichi .
{'str_eq_3': 'str_eq', 'result_4': 'true', 'str_hop_2': 'str_hop', 'nth_argmin_1': 'nth_argmin', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_5': 'all_rows', 'nation_6': 'nation', 'kenya_7': 'kenya', 'time_8': 'time', '1_9': '1', 'athlete_10': 'athlete', 'isabella ochichi_11': 'isabella ochichi'}
['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']]