cities of east asia
for the cities of east asia the total combined population in 2008 was 7062211 .
{'scope': 'all', 'col': '5', 'type': 'sum', 'result': '7062211', 'subset': None}
{'func': 'round_eq', 'args': [{'func': 'sum', 'args': ['all_rows', 'population ( 2008 )'], 'result': '7062211', 'ind': 0, 'tostr': 'sum { all_rows ; population ( 2008 ) }'}, '7062211'], 'result': True, 'ind': 1, 'tostr': 'round_eq { sum { all_rows ; population ( 2008 ) } ; 7062211 } = true', 'tointer': 'the sum of the population ( 2008 ) record of all rows is 7062211 .'}
round_eq { sum { all_rows ; population ( 2008 ) } ; 7062211 } = true
the sum of the population ( 2008 ) record of all rows is 7062211 .
{'eq_1': 'eq', 'result_2': 'true', 'sum_0': 'sum', 'all_rows_3': 'all_rows', 'population (2008)_4': 'population ( 2008 )', '7062211_5': '7062211'}
['city', 'korean', 'hancha', 'province', 'population ( 2008 )']
[['pyongyang', '평양', '平壤', 'direct - administered city', '3255288'], ['hamhung', '함흥', '咸興', 'south hamgyong', '768551'], ['chongjin', '청진', '清津', 'north hamgyong', '667929'], ['nampo', '남포', '南浦', 'special city', '366341'], ['wonsan', '원산', '元山', 'kangwon', '363127'], ['sinuiju', '신의주', '新義州', 'north pyongan', '359341'], ['tanchon', '단천', '端川', 'south hamgyong', '345876'], ['kaechon', '개천', '价川', 'south pyongan', '319554'], ['kaesong', '개성', '開城', 'special - level city', '308440'], ['sariwon', '사리원', '沙里院', 'north hwanghae', '307764']]