2007 gran premio tecate
the number of drivers in the 2007 gran premio tecate with the best lap time being greater than 1:25.000 is 6 .
{'scope': 'all', 'criterion': 'greater_than', 'value': '1:25.000', 'result': '6', 'col': '5', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'best', '1:25.000'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose best record is greater than 1:25.000 .', 'tostr': 'filter_greater { all_rows ; best ; 1:25.000 }'}], 'result': '6', 'ind': 1, 'tostr': 'count { filter_greater { all_rows ; best ; 1:25.000 } }', 'tointer': 'select the rows whose best record is greater than 1:25.000 . the number of such rows is 6 .'}, '6'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_greater { all_rows ; best ; 1:25.000 } } ; 6 } = true', 'tointer': 'select the rows whose best record is greater than 1:25.000 . the number of such rows is 6 .'}
eq { count { filter_greater { all_rows ; best ; 1:25.000 } } ; 6 } = true
select the rows whose best record is greater than 1:25.000 . the number of such rows is 6 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_greater_0': 'filter_greater', 'all_rows_4': 'all_rows', 'best_5': 'best', '1:25.000_6': '1:25.000', '6_7': '6'}
['name', 'team', 'qual 1', 'qual 2', 'best']
[['will power', 'team australia', '1:25.199', '1:23.558', '1:23.558'], ['sébastien bourdais', 'n / h / l racing', '1:24.698', '1:24.901', '1:24.698'], ['robert doornbos', 'minardi team usa', '1:26.220', '1:24.152', '1:24.152'], ['oriol servià', 'pkv racing', '1:25.436', '1:24.324', '1:24.324'], ['justin wilson', 'rusport', '1:24.825', '1:24.365', '1:24.365'], ['simon pagenaud', 'team australia', '1:25.952', '1:24.394', '1:24.394'], ['graham rahal', 'n / h / l racing', '1:25.889', '1:24.515', '1:24.515'], ['paul tracy', 'forsythe racing', '1:26.130', '1:24.608', '1:24.608'], ['dan clarke', 'minardi team usa', '1:26.617', '1:24.764', '1:24.764'], ['david martínez', 'forsythe racing', '1:26.056', '1:24.888', '1:24.888'], ['neel jani', 'pkv racing', '1:26.156', '1:24.929', '1:24.929'], ['bruno junqueira', 'dale coyne racing', '1:26.190', '1:25.361', '1:25.361'], ['nelson philippe', 'conquest racing', '1:26.952', '1:25.405', '1:25.405'], ['alex tagliani', 'rocketsports racing', '1:27.277', '1:25.446', '1:25.446'], ['mario domínguez', 'pacific coast motorsports', '1:26.181', '1:25.602', '1:25.602'], ['katherine legge', 'dale coyne racing', '1:28.069', '1:26.277', '1:26.277'], ['alex figge', 'pacific coast motorsports', '1:27.230', '1:26.582', '1:26.582']]