1980 world judo championships
9 nations were represented in the world judo championships of 1980 .
{'scope': 'all', 'criterion': 'all', 'value': 'n/a', 'result': '9', 'col': '1', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_all', 'args': ['all_rows', 'rank'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose rank record is arbitrary .', 'tostr': 'filter_all { all_rows ; rank }'}], 'result': '9', 'ind': 1, 'tostr': 'count { filter_all { all_rows ; rank } }', 'tointer': 'select the rows whose rank record is arbitrary . the number of such rows is 9 .'}, '9'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_all { all_rows ; rank } } ; 9 } = true', 'tointer': 'select the rows whose rank record is arbitrary . the number of such rows is 9 .'}
eq { count { filter_all { all_rows ; rank } } ; 9 } = true
select the rows whose rank record is arbitrary . the number of such rows is 9 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_all_0': 'filter_all', 'all_rows_4': 'all_rows', 'rank_5': 'rank', '9_6': '9'}
['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']]