2010 f \ xc3 \ xb3rmula truck season
roberval andrade was the winning driver 4 times in the 2010 formula truck season .
{'scope': 'all', 'criterion': 'equal', 'value': 'roberval andrade', 'result': '4', 'col': '6', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'winning driver', 'roberval andrade'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose winning driver record fuzzily matches to roberval andrade .', 'tostr': 'filter_eq { all_rows ; winning driver ; roberval andrade }'}], 'result': '4', 'ind': 1, 'tostr': 'count { filter_eq { all_rows ; winning driver ; roberval andrade } }', 'tointer': 'select the rows whose winning driver record fuzzily matches to roberval andrade . the number of such rows is 4 .'}, '4'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_eq { all_rows ; winning driver ; roberval andrade } } ; 4 } = true', 'tointer': 'select the rows whose winning driver record fuzzily matches to roberval andrade . the number of such rows is 4 .'}
eq { count { filter_eq { all_rows ; winning driver ; roberval andrade } } ; 4 } = true
select the rows whose winning driver record fuzzily matches to roberval andrade . the number of such rows is 4 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_4': 'all_rows', 'winning driver_5': 'winning driver', 'roberval andrade_6': 'roberval andrade', '4_7': '4'}
['round', 'circuit', 'date', 'pole position', 'fastest lap', 'winning driver', 'winning team']
[['1', 'autódromo internacional de guaporé', 'march 7', 'roberval andrade', 'felipe giaffone', 'felipe giaffone', 'rm competições'], ['2', 'autódromo internacional nelson piquet', 'april 18', 'danilo dirani', 'danilo dirani', 'roberval andrade', 'rvr corinthians motorsport'], ['3', 'autódromo ayrton senna , caruaru', 'may 16', 'valmir benavides', 'valmir benavides', 'valmir benavides', 'rm competições'], ['4', 'autódromo internacional orlando moura', 'june 26', 'leandro reis', 'roberval andrade', 'wellington cirino', 'abf mercedes - benz'], ['5', 'autódromo josé carlos pace', 'july 25', 'roberval andrade', 'leandro reis', 'roberval andrade', 'rvr corinthians motorsport'], ['6', 'autódromo internacional ayrton senna', 'august 22', 'danilo dirani', 'felipe giaffone', 'roberval andrade', 'rvr corinthians motorsport'], ['7', 'autódromo juan y oscar gálvez', 'september 19', 'roberval andrade', 'valmir benavides', 'geraldo piquet', 'abf mercedes - benz'], ['8', 'velopark , nova santa rita', 'october 10', 'beto monteiro', 'roberval andrade', 'beto monteiro', 'scuderia iveco'], ['9', 'autódromo internacional de curitiba', 'november 14', 'roberval andrade', 'felipe giaffone', 'roberval andrade', 'rvr corinthians motorsport']]