1980 world series
the third match in the 1980 world series lasted longer than the fourth match .
{'row_1': '3', 'row_2': '4', 'col': '4', 'col_other': '1', 'relation': 'greater', 'record_mentioned': 'no', 'diff_result': None}
{'func': 'greater', 'args': [{'func': 'str_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'game', '3'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose game record fuzzily matches to 3 .', 'tostr': 'filter_eq { all_rows ; game ; 3 }'}, 'time'], 'result': None, 'ind': 2, 'tostr': 'hop { filter_eq { all_rows ; game ; 3 } ; time }', 'tointer': 'select the rows whose game record fuzzily matches to 3 . take the time record of this row .'}, {'func': 'str_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'game', '4'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose game record fuzzily matches to 4 .', 'tostr': 'filter_eq { all_rows ; game ; 4 }'}, 'time'], 'result': None, 'ind': 3, 'tostr': 'hop { filter_eq { all_rows ; game ; 4 } ; time }', 'tointer': 'select the rows whose game record fuzzily matches to 4 . take the time record of this row .'}], 'result': True, 'ind': 4, 'tostr': 'greater { hop { filter_eq { all_rows ; game ; 3 } ; time } ; hop { filter_eq { all_rows ; game ; 4 } ; time } } = true', 'tointer': 'select the rows whose game record fuzzily matches to 3 . take the time record of this row . select the rows whose game record fuzzily matches to 4 . take the time record of this row . the first record is greater than the second record .'}
greater { hop { filter_eq { all_rows ; game ; 3 } ; time } ; hop { filter_eq { all_rows ; game ; 4 } ; time } } = true
select the rows whose game record fuzzily matches to 3 . take the time record of this row . select the rows whose game record fuzzily matches to 4 . take the time record of this row . the first record is greater than the second record .
{'greater_4': 'greater', 'result_5': 'true', 'str_hop_2': 'str_hop', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_6': 'all_rows', 'game_7': 'game', '3_8': '3', 'time_9': 'time', 'str_hop_3': 'str_hop', 'filter_str_eq_1': 'filter_str_eq', 'all_rows_10': 'all_rows', 'game_11': 'game', '4_12': '4', 'time_13': 'time'}
['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']]