list of cities in the far east by population
the city with the third highest population in the far east is beijing .
{'row': '3', 'col': '3', 'order': '3', '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', 'population', '3'], 'result': None, 'ind': 0, 'tostr': 'nth_argmax { all_rows ; population ; 3 }'}, 'city'], 'result': 'beijing', 'ind': 1, 'tostr': 'hop { nth_argmax { all_rows ; population ; 3 } ; city }'}, 'beijing'], 'result': True, 'ind': 2, 'tostr': 'eq { hop { nth_argmax { all_rows ; population ; 3 } ; city } ; beijing } = true', 'tointer': 'select the row whose population record of all rows is 3rd maximum . the city record of this row is beijing .'}
eq { hop { nth_argmax { all_rows ; population ; 3 } ; city } ; beijing } = true
select the row whose population record of all rows is 3rd maximum . the city record of this row is beijing .
{'str_eq_2': 'str_eq', 'result_3': 'true', 'str_hop_1': 'str_hop', 'nth_argmax_0': 'nth_argmax', 'all_rows_4': 'all_rows', 'population_5': 'population', '3_6': '3', 'city_7': 'city', 'beijing_8': 'beijing'}
['rank', 'city', 'population', 'definition', 'country']
[['1', 'shanghai', '13831900', 'core districts + inner suburbs', 'china'], ['2', 'seoul', '10456034', 'special city', 'south korea'], ['3', 'beijing', '10123000', 'core districts + inner suburbs', 'china'], ['4', 'tokyo', '8795000', '23 special wards area', 'japan'], ['5', 'jakarta', '8489910', 'special capital district', 'indonesia'], ['6', 'wuhan', '8001541 ( 2006 - 12 - 31 )', 'core districts', 'china'], ['7', 'ho chi minh city', '7123340', 'province - level municipality', 'vietnam'], ['8', 'bangkok', '7025000', 'administrative area', 'thailand'], ['9', 'hong kong', '7008900', 'the entire territory', 'hong kong'], ['10', 'guangzhou', '6172839 ( 2006 - 12 - 31 )', 'core districts', 'china'], ['11', 'tianjin', '5800000', 'core districts + inner suburbs', 'china'], ['12', 'singapore', '4839400', 'country', 'singapore'], ['13', 'chongqing', '4776027', 'core districts', 'china'], ['14', 'shenyang', '4101197 ( 2006 - 12 - 31 )', 'core districts', 'china'], ['15', 'yangon', '4088000', 'urban agglomeration', 'burma'], ['16', 'yokohama', '3670000', 'city proper', 'japan'], ['17', 'busan', '3596076', 'metropolitan city', 'south korea'], ['18', 'pyongyang', '3255388', 'directly governed city', 'north korea']]