57_a_voice_of_america
Tokyo and Pyongyang are at odds over North Korea's nuclear weapons program and the North's kidnapping of Japanese citizens in the 1970s and 1980s.

n57_a_voice_of_america n57_a_voice_of_america__1_1_1_1_1_1 Tokyo n57_a_voice_of_america__1_1_1_2_1_1 and n57_a_voice_of_america__1_1_1_2_2_1_1 Pyongyang n57_a_voice_of_america__1_2_1 are n57_a_voice_of_america__1_3_1_1 at n57_a_voice_of_america__1_3_2_1_1 odds n57_a_voice_of_america__1_3_2_2_1_1 over n57_a_voice_of_america__1_3_2_2_2_1_1_1_1_1 North n57_a_voice_of_america__1_3_2_2_2_1_1_1_2_1 Korea n57_a_voice_of_america__1_3_2_2_2_1_1_1_3_1 's n57_a_voice_of_america__1_3_2_2_2_1_1_2_1_1 nuclear n57_a_voice_of_america__1_3_2_2_2_1_1_3_1 weapons n57_a_voice_of_america__1_3_2_2_2_1_1_4_1 program n57_a_voice_of_america__1_3_2_2_2_1_2_1_1 and n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_1_1 the n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_2_1 North n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_3_1 's n57_a_voice_of_america__1_3_2_2_2_1_2_2_2_1 kidnapping n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_1_1 of n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1_1_1 Japanese n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_2_1 citizens n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_1_1 in n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_1_1 the n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1_1_1 1970s n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_1_1 and n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2_1_1 1980s n57_a_voice_of_america__1_4_1 . n57_a_voice_of_america__1 IP-MAT n57_a_voice_of_america__1_1 NP-SBJ n57_a_voice_of_america__1->n57_a_voice_of_america__1_1 n57_a_voice_of_america__1_2 BEP;_Ipr_ n57_a_voice_of_america__1->n57_a_voice_of_america__1_2 n57_a_voice_of_america__1_3 PP-CLR n57_a_voice_of_america__1->n57_a_voice_of_america__1_3 n57_a_voice_of_america__1_4 PUNC n57_a_voice_of_america__1->n57_a_voice_of_america__1_4 n57_a_voice_of_america__1_1_1 NLYR n57_a_voice_of_america__1_1->n57_a_voice_of_america__1_1_1 n57_a_voice_of_america__1_1_1_1 NLYR n57_a_voice_of_america__1_1_1->n57_a_voice_of_america__1_1_1_1 n57_a_voice_of_america__1_1_1_2 CONJP n57_a_voice_of_america__1_1_1->n57_a_voice_of_america__1_1_1_2 n57_a_voice_of_america__1_1_1_1_1 NPR n57_a_voice_of_america__1_1_1_1->n57_a_voice_of_america__1_1_1_1_1 n57_a_voice_of_america__1_1_1_1_1->n57_a_voice_of_america__1_1_1_1_1_1 n57_a_voice_of_america__1_1_1_2_1 CONJ n57_a_voice_of_america__1_1_1_2->n57_a_voice_of_america__1_1_1_2_1 n57_a_voice_of_america__1_1_1_2_2 NLYR n57_a_voice_of_america__1_1_1_2->n57_a_voice_of_america__1_1_1_2_2 n57_a_voice_of_america__1_1_1_2_1->n57_a_voice_of_america__1_1_1_2_1_1 n57_a_voice_of_america__1_1_1_2_2_1 NPR n57_a_voice_of_america__1_1_1_2_2->n57_a_voice_of_america__1_1_1_2_2_1 n57_a_voice_of_america__1_1_1_2_2_1->n57_a_voice_of_america__1_1_1_2_2_1_1 n57_a_voice_of_america__1_2->n57_a_voice_of_america__1_2_1 n57_a_voice_of_america__1_3_1 P-ROLE n57_a_voice_of_america__1_3->n57_a_voice_of_america__1_3_1 n57_a_voice_of_america__1_3_2 NP n57_a_voice_of_america__1_3->n57_a_voice_of_america__1_3_2 n57_a_voice_of_america__1_3_1->n57_a_voice_of_america__1_3_1_1 n57_a_voice_of_america__1_3_2_1 NS n57_a_voice_of_america__1_3_2->n57_a_voice_of_america__1_3_2_1 n57_a_voice_of_america__1_3_2_2 PP n57_a_voice_of_america__1_3_2->n57_a_voice_of_america__1_3_2_2 n57_a_voice_of_america__1_3_2_1->n57_a_voice_of_america__1_3_2_1_1 n57_a_voice_of_america__1_3_2_2_1 P-ROLE n57_a_voice_of_america__1_3_2_2->n57_a_voice_of_america__1_3_2_2_1 n57_a_voice_of_america__1_3_2_2_2 NP n57_a_voice_of_america__1_3_2_2->n57_a_voice_of_america__1_3_2_2_2 n57_a_voice_of_america__1_3_2_2_1->n57_a_voice_of_america__1_3_2_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1 NLYR n57_a_voice_of_america__1_3_2_2_2->n57_a_voice_of_america__1_3_2_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_1 NLYR n57_a_voice_of_america__1_3_2_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2 CONJP n57_a_voice_of_america__1_3_2_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2 n57_a_voice_of_america__1_3_2_2_2_1_1_1 NP-GEN n57_a_voice_of_america__1_3_2_2_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_1 n57_a_voice_of_america__1_3_2_2_2_1_1_2 ADJP n57_a_voice_of_america__1_3_2_2_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_2 n57_a_voice_of_america__1_3_2_2_2_1_1_3 NS n57_a_voice_of_america__1_3_2_2_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_3 n57_a_voice_of_america__1_3_2_2_2_1_1_4 N n57_a_voice_of_america__1_3_2_2_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_4 n57_a_voice_of_america__1_3_2_2_2_1_1_1_1 NPR n57_a_voice_of_america__1_3_2_2_2_1_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_1_1 n57_a_voice_of_america__1_3_2_2_2_1_1_1_2 NPR n57_a_voice_of_america__1_3_2_2_2_1_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_1_2 n57_a_voice_of_america__1_3_2_2_2_1_1_1_3 GENM n57_a_voice_of_america__1_3_2_2_2_1_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_1_3 n57_a_voice_of_america__1_3_2_2_2_1_1_1_1->n57_a_voice_of_america__1_3_2_2_2_1_1_1_1_1 n57_a_voice_of_america__1_3_2_2_2_1_1_1_2->n57_a_voice_of_america__1_3_2_2_2_1_1_1_2_1 n57_a_voice_of_america__1_3_2_2_2_1_1_1_3->n57_a_voice_of_america__1_3_2_2_2_1_1_1_3_1 n57_a_voice_of_america__1_3_2_2_2_1_1_2_1 ADJ n57_a_voice_of_america__1_3_2_2_2_1_1_2->n57_a_voice_of_america__1_3_2_2_2_1_1_2_1 n57_a_voice_of_america__1_3_2_2_2_1_1_2_1->n57_a_voice_of_america__1_3_2_2_2_1_1_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_1_3->n57_a_voice_of_america__1_3_2_2_2_1_1_3_1 n57_a_voice_of_america__1_3_2_2_2_1_1_4->n57_a_voice_of_america__1_3_2_2_2_1_1_4_1 n57_a_voice_of_america__1_3_2_2_2_1_2_1 CONJ n57_a_voice_of_america__1_3_2_2_2_1_2->n57_a_voice_of_america__1_3_2_2_2_1_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2 NLYR n57_a_voice_of_america__1_3_2_2_2_1_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2 n57_a_voice_of_america__1_3_2_2_2_1_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1 NP-GEN n57_a_voice_of_america__1_3_2_2_2_1_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_2 N n57_a_voice_of_america__1_3_2_2_2_1_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3 PP n57_a_voice_of_america__1_3_2_2_2_1_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4 PP n57_a_voice_of_america__1_3_2_2_2_1_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_1 D n57_a_voice_of_america__1_3_2_2_2_1_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_2 NPR n57_a_voice_of_america__1_3_2_2_2_1_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_3 GENM n57_a_voice_of_america__1_3_2_2_2_1_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_3 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_3->n57_a_voice_of_america__1_3_2_2_2_1_2_2_1_3_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_1 P-ROLE n57_a_voice_of_america__1_3_2_2_2_1_2_2_3->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2 NP n57_a_voice_of_america__1_3_2_2_2_1_2_2_3->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1 ADJP n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_2 NS n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1_1 ADJ n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_1_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_3_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_1 P-ROLE n57_a_voice_of_america__1_3_2_2_2_1_2_2_4->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2 NP n57_a_voice_of_america__1_3_2_2_2_1_2_2_4->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_1 D n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2 NLYR n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1 NLYR n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2 CONJP n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1_1 NPRS n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_1_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_1 CONJ n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2 NLYR n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_1_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2_1 NPRS n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2_1 n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2_1->n57_a_voice_of_america__1_3_2_2_2_1_2_2_4_2_2_2_2_1_1 n57_a_voice_of_america__1_4->n57_a_voice_of_america__1_4_1
( (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Tokyo;{Tokyo}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Pyongyang;{Pyongyang})))))
          (BEP;_Ipr_ are;{be[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (NS odds;{odds})
                      (PP (P-ROLE over;{over})
                          (NP (NLYR (NLYR (NP-GEN (NPR North;{North})
                                                  (NPR Korea;{Korea})
                                                  (GENM <apos>s))
                                          (ADJP (ADJ nuclear;{nuclear}))
                                          (NS weapons;{weapon})
                                          (N program;{program}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NP-GEN (D the;{the})
                                                         (NPR North;{North})
                                                         (GENM <apos>s))
                                                 (N kidnapping;{kidnapping})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (ADJP (ADJ Japanese;{Japanese}))
                                                         (NS citizens;{citizen})))
                                                 (PP (P-ROLE in;{in})
                                                     (NP (D the;{the})
                                                         (NLYR (NLYR (NPRS 1970s))
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (NPRS 1980s)))))))))))))
          (PUNC .))
  (ID 57_a_voice_of_america;p00d0262))



%3 r_0057_0021__citizens citizens r_0057_0020__Japanese Japanese r_0057_0021__citizens->r_0057_0020__Japanese [attrib] r_0057_0018__kidnapping kidnapping r_0057_0018__kidnapping->r_0057_0021__citizens of r_0057_0023__the_r_0057_0024__1970s_r_0057_0025__and_r_0057_0026__1980s the 1970s and 1980s r_0057_0018__kidnapping->r_0057_0023__the_r_0057_0024__1970s_r_0057_0025__and_r_0057_0026__1980s in r_0057_0015__the_r_0057_0016__North the North r_0057_0018__kidnapping->r_0057_0015__the_r_0057_0016__North [gen] r_0057_0014__and and r_0057_0014__and->r_0057_0018__kidnapping [conj2] r_0057_0012__weapons_r_0057_0013__program weapons program r_0057_0014__and->r_0057_0012__weapons_r_0057_0013__program [conj1] r_0057_0011__nuclear nuclear r_0057_0012__weapons_r_0057_0013__program->r_0057_0011__nuclear [attrib] r_0057_0008__North_r_0057_0009__Korea North Korea r_0057_0012__weapons_r_0057_0013__program->r_0057_0008__North_r_0057_0009__Korea [gen] r_0057_0006__odds odds r_0057_0006__odds->r_0057_0014__and over r_0057_0004__are_r_0057_0005__at are at r_0057_0004__are_r_0057_0005__at->r_0057_0006__odds [arg1] r_0057_0002__and and r_0057_0004__are_r_0057_0005__at->r_0057_0002__and [arg0] r_0057_0003__Pyongyang Pyongyang r_0057_0002__and->r_0057_0003__Pyongyang [conj2] r_0057_0001__Tokyo Tokyo r_0057_0002__and->r_0057_0001__Tokyo [conj1]
arc(r_0057_0002__and,r_0057_0001__Tokyo,conj1).
arc(r_0057_0002__and,r_0057_0003__Pyongyang,conj2).
arc(r_0057_0004__are_r_0057_0005__at,r_0057_0002__and,arg0).
arc(r_0057_0004__are_r_0057_0005__at,r_0057_0006__odds,arg1).
arc(r_0057_0006__odds,r_0057_0014__and,r_0057_0007__over).
arc(r_0057_0012__weapons_r_0057_0013__program,r_0057_0008__North_r_0057_0009__Korea,gen).
arc(r_0057_0012__weapons_r_0057_0013__program,r_0057_0011__nuclear,attrib).
arc(r_0057_0014__and,r_0057_0012__weapons_r_0057_0013__program,conj1).
arc(r_0057_0014__and,r_0057_0018__kidnapping,conj2).
arc(r_0057_0018__kidnapping,r_0057_0015__the_r_0057_0016__North,gen).
arc(r_0057_0018__kidnapping,r_0057_0021__citizens,r_0057_0019__of).
arc(r_0057_0018__kidnapping,r_0057_0023__the_r_0057_0024__1970s_r_0057_0025__and_r_0057_0026__1980s,r_0057_0022__in).
arc(r_0057_0021__citizens,r_0057_0020__Japanese,attrib).



%3 r_0057_0002__and and r_0057_0001__Tokyo Tokyo r_0057_0002__and->r_0057_0001__Tokyo [conj1] r_0057_0003__Pyongyang Pyongyang r_0057_0002__and->r_0057_0003__Pyongyang [conj2] r_0057_0004__are_r_0057_0005__at are at r_0057_0004__are_r_0057_0005__at->r_0057_0002__and [arg0] r_0057_0006__odds odds r_0057_0004__are_r_0057_0005__at->r_0057_0006__odds [arg1] r_0057_0014__and and r_0057_0006__odds->r_0057_0014__and over r_0057_0012__weapons_r_0057_0013__program weapons program r_0057_0014__and->r_0057_0012__weapons_r_0057_0013__program [conj1] r_0057_0018__kidnapping kidnapping r_0057_0014__and->r_0057_0018__kidnapping [conj2] r_0057_0008__North_r_0057_0009__Korea North Korea r_0057_0012__weapons_r_0057_0013__program->r_0057_0008__North_r_0057_0009__Korea [gen] r_0057_0011__nuclear nuclear r_0057_0012__weapons_r_0057_0013__program->r_0057_0011__nuclear [attrib] r_0057_0015__the_r_0057_0016__North the North r_0057_0018__kidnapping->r_0057_0015__the_r_0057_0016__North [gen] r_0057_0021__citizens citizens r_0057_0018__kidnapping->r_0057_0021__citizens of r_0057_0023__the_r_0057_0024__1970s_r_0057_0025__and_r_0057_0026__1980s the 1970s and 1980s r_0057_0018__kidnapping->r_0057_0023__the_r_0057_0024__1970s_r_0057_0025__and_r_0057_0026__1980s in r_0057_0020__Japanese Japanese r_0057_0021__citizens->r_0057_0020__Japanese [attrib]
fof(formula,axiom,
    ? [R_0057_0001__TOKYO,R_0057_0003__PYONGYANG,R_0057_0002__AND,R_0057_0008__NORTH_R_0057_0009__KOREA,R_0057_0011__NUCLEAR,R_0057_0012__WEAPONS_R_0057_0013__PROGRAM,R_0057_0015__THE_R_0057_0016__NORTH,R_0057_0020__JAPANESE,R_0057_0021__CITIZENS,R_0057_0023__THE_R_0057_0024__1970S_R_0057_0025__AND_R_0057_0026__1980S,R_0057_0018__KIDNAPPING,R_0057_0014__AND,R_0057_0006__ODDS,R_0057_0004__ARE_R_0057_0005__AT] :
      ( r_0057_0001__Tokyo(R_0057_0001__TOKYO)
      & r_0057_0003__Pyongyang(R_0057_0003__PYONGYANG)
      & r_0057_0008__North_r_0057_0009__Korea(R_0057_0008__NORTH_R_0057_0009__KOREA)
      & r_0057_0011__nuclear(R_0057_0011__NUCLEAR)
      & r_0057_0015__the_r_0057_0016__North(R_0057_0015__THE_R_0057_0016__NORTH)
      & r_0057_0020__Japanese(R_0057_0020__JAPANESE)
      & r_0057_0023__the_r_0057_0024__1970s_r_0057_0025__and_r_0057_0026__1980s(R_0057_0023__THE_R_0057_0024__1970S_R_0057_0025__AND_R_0057_0026__1980S)
      & r_0057_0004__are_r_0057_0005__at(R_0057_0004__ARE_R_0057_0005__AT)
      & has_arg1(R_0057_0004__ARE_R_0057_0005__AT,R_0057_0006__ODDS)
      & r_0057_0006__odds(R_0057_0006__ODDS)
      & has_r_0057_0007__over(R_0057_0006__ODDS,R_0057_0014__AND)
      & r_0057_0014__and(R_0057_0014__AND)
      & has_conj2(R_0057_0014__AND,R_0057_0018__KIDNAPPING)
      & r_0057_0018__kidnapping(R_0057_0018__KIDNAPPING)
      & has_r_0057_0022__in(R_0057_0018__KIDNAPPING,R_0057_0023__THE_R_0057_0024__1970S_R_0057_0025__AND_R_0057_0026__1980S)
      & has_r_0057_0019__of(R_0057_0018__KIDNAPPING,R_0057_0021__CITIZENS)
      & r_0057_0021__citizens(R_0057_0021__CITIZENS)
      & has_attrib(R_0057_0021__CITIZENS,R_0057_0020__JAPANESE)
      & has_gen(R_0057_0018__KIDNAPPING,R_0057_0015__THE_R_0057_0016__NORTH)
      & has_conj1(R_0057_0014__AND,R_0057_0012__WEAPONS_R_0057_0013__PROGRAM)
      & r_0057_0012__weapons_r_0057_0013__program(R_0057_0012__WEAPONS_R_0057_0013__PROGRAM)
      & has_attrib(R_0057_0012__WEAPONS_R_0057_0013__PROGRAM,R_0057_0011__NUCLEAR)
      & has_gen(R_0057_0012__WEAPONS_R_0057_0013__PROGRAM,R_0057_0008__NORTH_R_0057_0009__KOREA)
      & has_arg0(R_0057_0004__ARE_R_0057_0005__AT,R_0057_0002__AND)
      & r_0057_0002__and(R_0057_0002__AND)
      & has_conj2(R_0057_0002__AND,R_0057_0003__PYONGYANG)
      & has_conj1(R_0057_0002__AND,R_0057_0001__TOKYO) ) ).