2009 pga championship
in the 2009 pga championship , tiger woods had a lower total compared to phil mickelson .
{'row_1': '1', 'row_2': '7', 'col': '4', 'col_other': '1', 'relation': 'less', 'record_mentioned': 'no', 'diff_result': None}
{'func': 'less', 'args': [{'func': 'num_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'player', 'tiger woods'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose player record fuzzily matches to tiger woods .', 'tostr': 'filter_eq { all_rows ; player ; tiger woods }'}, 'total'], 'result': None, 'ind': 2, 'tostr': 'hop { filter_eq { all_rows ; player ; tiger woods } ; total }', 'tointer': 'select the rows whose player record fuzzily matches to tiger woods . take the total record of this row .'}, {'func': 'num_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'player', 'phil mickelson'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose player record fuzzily matches to phil mickelson .', 'tostr': 'filter_eq { all_rows ; player ; phil mickelson }'}, 'total'], 'result': None, 'ind': 3, 'tostr': 'hop { filter_eq { all_rows ; player ; phil mickelson } ; total }', 'tointer': 'select the rows whose player record fuzzily matches to phil mickelson . take the total record of this row .'}], 'result': True, 'ind': 4, 'tostr': 'less { hop { filter_eq { all_rows ; player ; tiger woods } ; total } ; hop { filter_eq { all_rows ; player ; phil mickelson } ; total } } = true', 'tointer': 'select the rows whose player record fuzzily matches to tiger woods . take the total record of this row . select the rows whose player record fuzzily matches to phil mickelson . take the total record of this row . the first record is less than the second record .'}
less { hop { filter_eq { all_rows ; player ; tiger woods } ; total } ; hop { filter_eq { all_rows ; player ; phil mickelson } ; total } } = true
select the rows whose player record fuzzily matches to tiger woods . take the total record of this row . select the rows whose player record fuzzily matches to phil mickelson . take the total record of this row . the first record is less than the second record .
{'less_4': 'less', 'result_5': 'true', 'num_hop_2': 'num_hop', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_6': 'all_rows', 'player_7': 'player', 'tiger woods_8': 'tiger woods', 'total_9': 'total', 'num_hop_3': 'num_hop', 'filter_str_eq_1': 'filter_str_eq', 'all_rows_10': 'all_rows', 'player_11': 'player', 'phil mickelson_12': 'phil mickelson', 'total_13': 'total'}
['player', 'country', 'year ( s ) won', 'total', 'to par', 'finish']
[['tiger woods', 'united states', '1999 , 2000 , 2006 , 2007', '283', '- 5', '2'], ['pádraig harrington', 'ireland', '2008', '288', 'e', 't10'], ['vijay singh', 'fiji', '1998 , 2004', '289', '+ 1', 't16'], ['david toms', 'united states', '2001', '293', '+ 5', 't36'], ['rich beem', 'united states', '2002', '294', '+ 6', 't43'], ['bob tway', 'united states', '1986', '217', '+ 8', 't56'], ['phil mickelson', 'united states', '2005', '300', '+ 12', '73']]