1969 world judo championships
japan finished first at the 1969 world judo championships with 12 total medals including 6 gold .
{'scope': 'all', 'row': '1', 'col': '1', 'order': '1', 'col_other': '2,3,6', 'max_or_min': 'min_to_max', 'value_mentioned': 'yes', 'subset': None}
{'func': 'and', 'args': [{'func': 'eq', 'args': [{'func': 'nth_min', 'args': ['all_rows', 'rank', '1'], 'result': '1', 'ind': 0, 'tostr': 'nth_min { all_rows ; rank ; 1 }', 'tointer': 'the 1st minimum rank record of all rows is 1 .'}, '1'], 'result': True, 'ind': 1, 'tostr': 'eq { nth_min { all_rows ; rank ; 1 } ; 1 }', 'tointer': 'the 1st minimum rank record of all rows is 1 .'}, {'func': 'and', 'args': [{'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'nth_argmin', 'args': ['all_rows', 'rank', '1'], 'result': None, 'ind': 2, 'tostr': 'nth_argmin { all_rows ; rank ; 1 }'}, 'nation'], 'result': 'japan', 'ind': 3, 'tostr': 'hop { nth_argmin { all_rows ; rank ; 1 } ; nation }'}, 'japan'], 'result': True, 'ind': 4, 'tostr': 'eq { hop { nth_argmin { all_rows ; rank ; 1 } ; nation } ; japan }', 'tointer': 'the nation record of the row with 1st minimum rank record is japan .'}, {'func': 'and', 'args': [{'func': 'eq', 'args': [{'func': 'num_hop', 'args': [{'func': 'nth_argmin', 'args': ['all_rows', 'rank', '1'], 'result': None, 'ind': 2, 'tostr': 'nth_argmin { all_rows ; rank ; 1 }'}, 'gold'], 'result': '6', 'ind': 5, 'tostr': 'hop { nth_argmin { all_rows ; rank ; 1 } ; gold }'}, '6'], 'result': True, 'ind': 6, 'tostr': 'eq { hop { nth_argmin { all_rows ; rank ; 1 } ; gold } ; 6 }', 'tointer': 'the gold record of the row with 1st minimum rank record is 6 .'}, {'func': 'eq', 'args': [{'func': 'num_hop', 'args': [{'func': 'nth_argmin', 'args': ['all_rows', 'rank', '1'], 'result': None, 'ind': 2, 'tostr': 'nth_argmin { all_rows ; rank ; 1 }'}, 'total'], 'result': '12', 'ind': 7, 'tostr': 'hop { nth_argmin { all_rows ; rank ; 1 } ; total }'}, '12'], 'result': True, 'ind': 8, 'tostr': 'eq { hop { nth_argmin { all_rows ; rank ; 1 } ; total } ; 12 }', 'tointer': 'the total record of the row with 1st minimum rank record is 12 .'}], 'result': True, 'ind': 9, 'tostr': 'and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; gold } ; 6 } ; eq { hop { nth_argmin { all_rows ; rank ; 1 } ; total } ; 12 } }', 'tointer': 'the gold record of the row with 1st minimum rank record is 6 . the total record of the row with 1st minimum rank record is 12 .'}], 'result': True, 'ind': 10, 'tostr': 'and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; nation } ; japan } ; and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; gold } ; 6 } ; eq { hop { nth_argmin { all_rows ; rank ; 1 } ; total } ; 12 } } }', 'tointer': 'the nation record of the row with 1st minimum rank record is japan . the gold record of the row with 1st minimum rank record is 6 . the total record of the row with 1st minimum rank record is 12 .'}], 'result': True, 'ind': 11, 'tostr': 'and { eq { nth_min { all_rows ; rank ; 1 } ; 1 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; nation } ; japan } ; and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; gold } ; 6 } ; eq { hop { nth_argmin { all_rows ; rank ; 1 } ; total } ; 12 } } } } = true', 'tointer': 'the 1st minimum rank record of all rows is 1 . the nation record of the row with 1st minimum rank record is japan . the gold record of the row with 1st minimum rank record is 6 . the total record of the row with 1st minimum rank record is 12 .'}
and { eq { nth_min { all_rows ; rank ; 1 } ; 1 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; nation } ; japan } ; and { eq { hop { nth_argmin { all_rows ; rank ; 1 } ; gold } ; 6 } ; eq { hop { nth_argmin { all_rows ; rank ; 1 } ; total } ; 12 } } } } = true
the 1st minimum rank record of all rows is 1 . the nation record of the row with 1st minimum rank record is japan . the gold record of the row with 1st minimum rank record is 6 . the total record of the row with 1st minimum rank record is 12 .
{'and_11': 'and', 'result_12': 'true', 'eq_1': 'eq', 'nth_min_0': 'nth_min', 'all_rows_13': 'all_rows', 'rank_14': 'rank', '1_15': '1', '1_16': '1', 'and_10': 'and', 'str_eq_4': 'str_eq', 'str_hop_3': 'str_hop', 'nth_argmin_2': 'nth_argmin', 'all_rows_17': 'all_rows', 'rank_18': 'rank', '1_19': '1', 'nation_20': 'nation', 'japan_21': 'japan', 'and_9': 'and', 'eq_6': 'eq', 'num_hop_5': 'num_hop', 'gold_22': 'gold', '6_23': '6', 'eq_8': 'eq', 'num_hop_7': 'num_hop', 'total_24': 'total', '12_25': '12'}
['rank', 'nation', 'gold', 'silver', 'bronze', 'total']
[['1', 'japan', '6', '3', '3', '12'], ['2', 'germany', '0', '2', '0', '2'], ['3', 'netherlands', '0', '1', '2', '3'], ['4', 'soviet union', '0', '0', '4', '4'], ['5', 'south korea', '0', '0', '3', '3']]