10k run
peter kamais lotagor raced his top-10 time in the 10k run record before moses ndiema masai did .
{'row_1': '6', 'row_2': '9', 'col': '2', 'col_other': '3', 'relation': 'less', 'record_mentioned': 'no', 'diff_result': None}
{'func': 'less', 'args': [{'func': 'str_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'athlete', 'peter kamais lotagor'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose athlete record fuzzily matches to peter kamais lotagor .', 'tostr': 'filter_eq { all_rows ; athlete ; peter kamais lotagor }'}, 'time'], 'result': None, 'ind': 2, 'tostr': 'hop { filter_eq { all_rows ; athlete ; peter kamais lotagor } ; time }', 'tointer': 'select the rows whose athlete record fuzzily matches to peter kamais lotagor . take the time record of this row .'}, {'func': 'str_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'athlete', 'moses ndiema masai'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose athlete record fuzzily matches to moses ndiema masai .', 'tostr': 'filter_eq { all_rows ; athlete ; moses ndiema masai }'}, 'time'], 'result': None, 'ind': 3, 'tostr': 'hop { filter_eq { all_rows ; athlete ; moses ndiema masai } ; time }', 'tointer': 'select the rows whose athlete record fuzzily matches to moses ndiema masai . take the time record of this row .'}], 'result': True, 'ind': 4, 'tostr': 'less { hop { filter_eq { all_rows ; athlete ; peter kamais lotagor } ; time } ; hop { filter_eq { all_rows ; athlete ; moses ndiema masai } ; time } } = true', 'tointer': 'select the rows whose athlete record fuzzily matches to peter kamais lotagor . take the time record of this row . select the rows whose athlete record fuzzily matches to moses ndiema masai . take the time record of this row . the first record is less than the second record .'}
less { hop { filter_eq { all_rows ; athlete ; peter kamais lotagor } ; time } ; hop { filter_eq { all_rows ; athlete ; moses ndiema masai } ; time } } = true
select the rows whose athlete record fuzzily matches to peter kamais lotagor . take the time record of this row . select the rows whose athlete record fuzzily matches to moses ndiema masai . take the time record of this row . the first record is less than the second record .
{'less_4': 'less', 'result_5': 'true', 'str_hop_2': 'str_hop', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_6': 'all_rows', 'athlete_7': 'athlete', 'peter kamais lotagor_8': 'peter kamais lotagor', 'time_9': 'time', 'str_hop_3': 'str_hop', 'filter_str_eq_1': 'filter_str_eq', 'all_rows_10': 'all_rows', 'athlete_11': 'athlete', 'moses ndiema masai_12': 'moses ndiema masai', 'time_13': 'time'}
['rank', 'time', 'athlete', 'nation', 'date', 'race']
[['1', '26:44', 'leonard patrick komon', 'kenya', '26 september 2010', 'singelloop utrecht'], ['2', '27:01', 'micah kipkemboi kogo', 'kenya', '29 march 2009', 'parelloop brunssum'], ['3', '27:02', 'haile gebrselassie', 'ethiopia', '11 december 2002', 'doha , qatar'], ['4 =', '27:04', 'joseph kimani', 'kenya', '4 july 1996', 'peachtree road race'], ['4 =', '27:04', 'josphat kiprono menjo', 'kenya', '18 april 2010', 'cursa de bombers'], ['6', '27:09', 'peter kamais lotagor', 'kenya', '6 september 2009', 'tilburg 10k'], ['7 =', '27:11', 'sammy kipketer', 'kenya', '30 march 2002', 'crescent city classic'], ['7 =', '27:11', 'sammy kirop kitwara', 'kenya', '26 september 2010', 'singelloop utrecht'], ['9 =', '27:19', 'moses ndiema masai', 'kenya', '28 february 2010', "world 's best 10k"], ['9 =', '27:19', 'geoffrey kiprono mutai', 'kenya', '26 june 2011', 'boston 10k']]