1980 world judo championships
france recorded the highest number of silver in the world judo championships of 1980 .
{'row': '2', 'col': '4', 'order': '1', 'col_other': '2', 'max_or_min': 'max_to_min', 'value_mentioned': 'no', 'scope': 'all', 'subset': None}
{'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'nth_argmax', 'args': ['all_rows', 'silver', '1'], 'result': None, 'ind': 0, 'tostr': 'nth_argmax { all_rows ; silver ; 1 }'}, 'nation'], 'result': 'france', 'ind': 1, 'tostr': 'hop { nth_argmax { all_rows ; silver ; 1 } ; nation }'}, 'france'], 'result': True, 'ind': 2, 'tostr': 'eq { hop { nth_argmax { all_rows ; silver ; 1 } ; nation } ; france } = true', 'tointer': 'select the row whose silver record of all rows is 1st maximum . the nation record of this row is france .'}
eq { hop { nth_argmax { all_rows ; silver ; 1 } ; nation } ; france } = true
select the row whose silver record of all rows is 1st maximum . the nation record of this row is france .
{'str_eq_2': 'str_eq', 'result_3': 'true', 'str_hop_1': 'str_hop', 'nth_argmax_0': 'nth_argmax', 'all_rows_4': 'all_rows', 'silver_5': 'silver', '1_6': '1', 'nation_7': 'nation', 'france_8': 'france'}
['rank', 'nation', 'gold', 'silver', 'bronze', 'total']
[['1', 'austria', '3', '0', '0', '3'], ['2', 'france', '1', '3', '4', '8'], ['3', 'italy', '1', '2', '0', '3'], ['4', 'great britain', '1', '1', '3', '5'], ['5', 'belgium', '1', '0', '2', '3'], ['6', 'netherlands', '1', '0', '1', '2'], ['7', 'germany', '0', '1', '3', '4'], ['8', 'japan', '0', '1', '0', '1'], ['9', 'united states', '0', '0', '3', '3']]