weightlifting at the 2007 pan american games
of the weightlifters who could snatch more than 150 at the 2007 pan american games , herbys márquez had the highest bodyweight .
{'scope': 'subset', 'col_superlative': '2', 'row_superlative': '3', 'value_mentioned': 'no', 'max_or_min': 'max', 'other_col': '1', 'subset': {'col': '3', 'criterion': 'greater_than', 'value': '150'}}
{'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'argmax', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'snatch', '150'], 'result': None, 'ind': 0, 'tostr': 'filter_greater { all_rows ; snatch ; 150 }', 'tointer': 'select the rows whose snatch record is greater than 150 .'}, 'bodyweight'], 'result': None, 'ind': 1, 'tostr': 'argmax { filter_greater { all_rows ; snatch ; 150 } ; bodyweight }'}, 'name'], 'result': 'herbys márquez ( ven )', 'ind': 2, 'tostr': 'hop { argmax { filter_greater { all_rows ; snatch ; 150 } ; bodyweight } ; name }'}, 'herbys márquez ( ven )'], 'result': True, 'ind': 3, 'tostr': 'eq { hop { argmax { filter_greater { all_rows ; snatch ; 150 } ; bodyweight } ; name } ; herbys márquez ( ven ) } = true', 'tointer': 'select the rows whose snatch record is greater than 150 . select the row whose bodyweight record of these rows is maximum . the name record of this row is herbys márquez ( ven ) .'}
eq { hop { argmax { filter_greater { all_rows ; snatch ; 150 } ; bodyweight } ; name } ; herbys márquez ( ven ) } = true
select the rows whose snatch record is greater than 150 . select the row whose bodyweight record of these rows is maximum . the name record of this row is herbys márquez ( ven ) .
{'str_eq_3': 'str_eq', 'result_4': 'true', 'str_hop_2': 'str_hop', 'argmax_1': 'argmax', 'filter_greater_0': 'filter_greater', 'all_rows_5': 'all_rows', 'snatch_6': 'snatch', '150_7': '150', 'bodyweight_8': 'bodyweight', 'name_9': 'name', 'herbys márquez ( ven )_10': 'herbys márquez ( ven )'}
['name', 'bodyweight', 'snatch', 'clean & jerk', 'total ( kg )']
[['josé oliver ruíz ( col )', '84.45', '160.0', '203.0', '363.0'], ['jadier valladares ( cub )', '84.50', '161.0', '202.0', '363.0'], ['herbys márquez ( ven )', '84.75', '155.0', '195.0', '350.0'], ['kendrick farris ( usa )', '84.15', '158.0', '191.0', '349.0'], ['juan quiterio ( dom )', '84.35', '145.0', '185.0', '330.0'], ['buck ramsay ( can )', '84.75', '140.0', '178.0', '318.0'], ['rafael andrade ( bra )', '83.75', '140.0', '175.0', '315.0'], ['edward silva ( uru )', '84.10', '120.0', '150.0', '270.0']]