1980 world series
three of the matches in the 1980 world series were held at the royals stadium .
{'scope': 'all', 'criterion': 'equal', 'value': 'royals stadium', 'result': '3', 'col': '3', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'location', 'royals stadium'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose location record fuzzily matches to royals stadium .', 'tostr': 'filter_eq { all_rows ; location ; royals stadium }'}], 'result': '3', 'ind': 1, 'tostr': 'count { filter_eq { all_rows ; location ; royals stadium } }', 'tointer': 'select the rows whose location record fuzzily matches to royals stadium . the number of such rows is 3 .'}, '3'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_eq { all_rows ; location ; royals stadium } } ; 3 } = true', 'tointer': 'select the rows whose location record fuzzily matches to royals stadium . the number of such rows is 3 .'}
eq { count { filter_eq { all_rows ; location ; royals stadium } } ; 3 } = true
select the rows whose location record fuzzily matches to royals stadium . the number of such rows is 3 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_4': 'all_rows', 'location_5': 'location', 'royals stadium_6': 'royals stadium', '3_7': '3'}
['game', 'date', 'location', 'time', 'attendance']
[['1', 'october 14', 'veterans stadium', '3:01', '65791'], ['2', 'october 15', 'veterans stadium', '3:01', '65775'], ['3', 'october 17', 'royals stadium', '3:19', '42380'], ['4', 'october 18', 'royals stadium', '2:37', '42363'], ['5', 'october 19', 'royals stadium', '2:51', '42369'], ['6', 'october 21', 'veterans stadium', '3:00', '65838']]