weightlifting at the 2008 summer olympics - men 's 85 kg
the 2nd heaviest weight that was lifted for a record weighed 215 kg .
{'row': '4', 'col': '4', 'order': '2', 'col_other': '1', 'max_or_min': 'max_to_min', 'value_mentioned': 'yes', 'scope': 'all', 'subset': None}
{'func': 'and', 'args': [{'func': 'eq', 'args': [{'func': 'nth_max', 'args': ['all_rows', '187 kg', '2'], 'result': '215 kg', 'ind': 0, 'tostr': 'nth_max { all_rows ; 187 kg ; 2 }', 'tointer': 'the 2nd maximum 187 kg record of all rows is 215 kg .'}, '215 kg'], 'result': True, 'ind': 1, 'tostr': 'eq { nth_max { all_rows ; 187 kg ; 2 } ; 215 kg }', 'tointer': 'the 2nd maximum 187 kg record of all rows is 215 kg .'}, {'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'nth_argmax', 'args': ['all_rows', '187 kg', '2'], 'result': None, 'ind': 2, 'tostr': 'nth_argmax { all_rows ; 187 kg ; 2 }'}, 'world record'], 'result': 'olympic record', 'ind': 3, 'tostr': 'hop { nth_argmax { all_rows ; 187 kg ; 2 } ; world record }'}, 'olympic record'], 'result': True, 'ind': 4, 'tostr': 'eq { hop { nth_argmax { all_rows ; 187 kg ; 2 } ; world record } ; olympic record }', 'tointer': 'the world record record of the row with 2nd maximum 187 kg record is olympic record .'}], 'result': True, 'ind': 5, 'tostr': 'and { eq { nth_max { all_rows ; 187 kg ; 2 } ; 215 kg } ; eq { hop { nth_argmax { all_rows ; 187 kg ; 2 } ; world record } ; olympic record } } = true', 'tointer': 'the 2nd maximum 187 kg record of all rows is 215 kg . the world record record of the row with 2nd maximum 187 kg record is olympic record .'}
and { eq { nth_max { all_rows ; 187 kg ; 2 } ; 215 kg } ; eq { hop { nth_argmax { all_rows ; 187 kg ; 2 } ; world record } ; olympic record } } = true
the 2nd maximum 187 kg record of all rows is 215 kg . the world record record of the row with 2nd maximum 187 kg record is olympic record .
{'and_5': 'and', 'result_6': 'true', 'eq_1': 'eq', 'nth_max_0': 'nth_max', 'all_rows_7': 'all_rows', '187 kg_8': '187 kg', '2_9': '2', '215 kg_10': '215 kg', 'str_eq_4': 'str_eq', 'str_hop_3': 'str_hop', 'nth_argmax_2': 'nth_argmax', 'all_rows_11': 'all_rows', '187 kg_12': '187 kg', '2_13': '2', 'world record_14': 'world record', 'olympic record_15': 'olympic record'}
['world record', 'snatch', 'andrei rybakou ( blr )', '187 kg', 'chiang mai , thailand']
[['clean & jerk', 'zhang yong ( chn )', '218 kg', 'ramat gan , israel', '25 april 1998'], ['total', 'andrei rybakou ( blr )', '393 kg', 'chiang mai , thailand', '22 september 2007'], ['olympic record', 'snatch', 'olympic standard', '180 kg', '-'], ['olympic record', 'clean & jerk', 'olympic standard', '215 kg', '-'], ['olympic record', 'total', 'olympic standard', '392 kg', '-']]