10534
The case for banning ostensibly peaceful nuclear activities in North Korea is even stronger than it is for Iran , because Pyongyang 's nuclear weapons programs are far more advanced and it has formally withdrawn from the Nuclear Nonproliferation Treaty .
 country of administrative divisions: North Korea, Pyongyang; country of capital: North Korea, Pyongyang; location contains: North Korea, Pyongyang; administrative division of country: Pyongyang, North Korea
Given a phrase that describes the relationship between two words, extract the words and the lexical relationship between them. The output format should be "relation1: word1, word2; relation2: word3, word4". 
Option: ethnicity, place lived, geographic distribution, company industry, country of administrative divisions, administrative division of country, location contains, person of company, profession, ethnicity of people, company shareholder among major shareholders, sports team of location, religion, neighborhood of, company major shareholders, place of death, nationality, children, company founders, company founded place, country of capital, company advisors, sports team location of teams, place of birth 
Text: {0} 
Answer:
 country of administrative divisions: North Korea, Pyongyang; country of capital: North Korea, Pyongyang; location contains: North Korea, Pyongyang; administrative division of country: Pyongyang, North Korea