Context                Previous, Next                Top


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.

%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 are r_0057_0004__are->r_0057_0002__and [arg0] r_0057_0006__odds odds r_0057_0004__are->r_0057_0006__odds at [clr] 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_r_0057_0010___apos_s North Korea 's r_0057_0012__weapons_r_0057_0013__program->r_0057_0008__North_r_0057_0009__Korea_r_0057_0010___apos_s [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_r_0057_0017___apos_s the North 's r_0057_0018__kidnapping->r_0057_0015__the_r_0057_0016__North_r_0057_0017___apos_s [gen] r_0057_0021__citizens citizens r_0057_0018__kidnapping->r_0057_0021__citizens of r_0057_0025__and and r_0057_0018__kidnapping->r_0057_0025__and in r_0057_0020__Japanese Japanese r_0057_0021__citizens->r_0057_0020__Japanese [attrib] r_0057_0024__1970s 1970s r_0057_0025__and->r_0057_0024__1970s [conj1] r_0057_0026__1980s 1980s r_0057_0025__and->r_0057_0026__1980s [conj2] 
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_0002__and, arg0).
arc(r_0057_0004__are, r_0057_0006__odds, r_0057_0005__at_clr18).
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_r_0057_0010___apos_s, gen).
arc(r_0057_0012__weapons_r_0057_0013__program, r_0057_0011__nuclear, attrib34).
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_r_0057_0017___apos_s, gen).
arc(r_0057_0018__kidnapping, r_0057_0021__citizens, r_0057_0019__of).
arc(r_0057_0018__kidnapping, r_0057_0025__and, r_0057_0022__in).
arc(r_0057_0021__citizens, r_0057_0020__Japanese, attrib58).
arc(r_0057_0025__and, r_0057_0024__1970s, conj1).
arc(r_0057_0025__and, r_0057_0026__1980s, conj2).


%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 are r_0057_0004__are->r_0057_0002__and [arg0] r_0057_0006__odds odds r_0057_0004__are->r_0057_0006__odds at [clr] 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_r_0057_0010___apos_s North Korea 's r_0057_0012__weapons_r_0057_0013__program->r_0057_0008__North_r_0057_0009__Korea_r_0057_0010___apos_s [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_r_0057_0017___apos_s the North 's r_0057_0018__kidnapping->r_0057_0015__the_r_0057_0016__North_r_0057_0017___apos_s [gen] r_0057_0021__citizens citizens r_0057_0018__kidnapping->r_0057_0021__citizens of r_0057_0025__and and r_0057_0018__kidnapping->r_0057_0025__and in r_0057_0020__Japanese Japanese r_0057_0021__citizens->r_0057_0020__Japanese [attrib] r_0057_0024__1970s 1970s r_0057_0025__and->r_0057_0024__1970s [conj1] r_0057_0026__1980s 1980s r_0057_0025__and->r_0057_0026__1980s [conj2] 
fof(formula,axiom,
    ? [R_57_4_ARE,R_57_2_AND,R_57_1_TOKYO,R_57_3_PYONGYANG,R_57_6_ODDS,R_57_14_AND,R_57_12_WEAPONS_PROGRAM,R_57_11_NUCLEAR,R_57_8_NORTH_KOREA_APOS_S,R_57_18_KIDNAPPING,R_57_15_THE_NORTH_APOS_S,R_57_21_CITIZENS,R_57_20_JAPANESE,R_57_25_AND,R_57_24_1970S,R_57_26_1980S] :
      ( tokyo(R_57_1_TOKYO)
      & pyongyang(R_57_3_PYONGYANG)
      & nuclear(R_57_11_NUCLEAR)
      & north_Korea_apos_s(R_57_8_NORTH_KOREA_APOS_S)
      & the_North_apos_s(R_57_15_THE_NORTH_APOS_S)
      & japanese(R_57_20_JAPANESE)
      & 1970s(R_57_24_1970S)
      & 1980s(R_57_26_1980S)
      & are(R_57_4_ARE,R_57_2_AND)
      & and(R_57_2_AND)
      & conj1(R_57_2_AND,R_57_1_TOKYO)
      & conj2(R_57_2_AND,R_57_3_PYONGYANG)
      & at_clr18(R_57_4_ARE,R_57_6_ODDS)
      & odds(R_57_6_ODDS)
      & over(R_57_6_ODDS,R_57_14_AND)
      & and(R_57_14_AND)
      & conj1(R_57_14_AND,R_57_12_WEAPONS_PROGRAM)
      & weapons_program(R_57_12_WEAPONS_PROGRAM)
      & attrib34(R_57_12_WEAPONS_PROGRAM,R_57_11_NUCLEAR)
      & gen(R_57_12_WEAPONS_PROGRAM,R_57_8_NORTH_KOREA_APOS_S)
      & conj2(R_57_14_AND,R_57_18_KIDNAPPING)
      & kidnapping(R_57_18_KIDNAPPING)
      & gen(R_57_18_KIDNAPPING,R_57_15_THE_NORTH_APOS_S)
      & of(R_57_18_KIDNAPPING,R_57_21_CITIZENS)
      & citizens(R_57_21_CITIZENS)
      & attrib58(R_57_21_CITIZENS,R_57_20_JAPANESE)
      & in(R_57_18_KIDNAPPING,R_57_25_AND)
      & and(R_57_25_AND)
      & conj1(R_57_25_AND,R_57_24_1970S)
      & conj2(R_57_25_AND,R_57_26_1980S) ) ).


n57_a_voice_of_america n57_a_voice_of_america_6 Tokyo n57_a_voice_of_america_9 and n57_a_voice_of_america_12 Pyongyang n57_a_voice_of_america_14 are n57_a_voice_of_america_17 at n57_a_voice_of_america_20 odds n57_a_voice_of_america_23 over n57_a_voice_of_america_29 North n57_a_voice_of_america_31 Korea n57_a_voice_of_america_33 's n57_a_voice_of_america_36 nuclear n57_a_voice_of_america_38 weapons n57_a_voice_of_america_40 program n57_a_voice_of_america_43 and n57_a_voice_of_america_47 the n57_a_voice_of_america_49 North n57_a_voice_of_america_51 's n57_a_voice_of_america_53 kidnapping n57_a_voice_of_america_56 of n57_a_voice_of_america_60 Japanese n57_a_voice_of_america_62 citizens n57_a_voice_of_america_65 in n57_a_voice_of_america_68 the n57_a_voice_of_america_72 1970s n57_a_voice_of_america_75 and n57_a_voice_of_america_78 1980s n57_a_voice_of_america_80 . n57_a_voice_of_america_1 IP-MAT n57_a_voice_of_america_2 NP-SBJ n57_a_voice_of_america_1->n57_a_voice_of_america_2 n57_a_voice_of_america_13 BEP;_Ipr_ n57_a_voice_of_america_1->n57_a_voice_of_america_13 n57_a_voice_of_america_15 PP-CLR n57_a_voice_of_america_1->n57_a_voice_of_america_15 n57_a_voice_of_america_79 PUNC n57_a_voice_of_america_1->n57_a_voice_of_america_79 n57_a_voice_of_america_3 NLYR n57_a_voice_of_america_2->n57_a_voice_of_america_3 n57_a_voice_of_america_4 NLYR n57_a_voice_of_america_3->n57_a_voice_of_america_4 n57_a_voice_of_america_7 CONJP n57_a_voice_of_america_3->n57_a_voice_of_america_7 n57_a_voice_of_america_5 NPR n57_a_voice_of_america_4->n57_a_voice_of_america_5 n57_a_voice_of_america_5->n57_a_voice_of_america_6 n57_a_voice_of_america_8 CONJ n57_a_voice_of_america_7->n57_a_voice_of_america_8 n57_a_voice_of_america_10 NLYR n57_a_voice_of_america_7->n57_a_voice_of_america_10 n57_a_voice_of_america_8->n57_a_voice_of_america_9 n57_a_voice_of_america_11 NPR n57_a_voice_of_america_10->n57_a_voice_of_america_11 n57_a_voice_of_america_11->n57_a_voice_of_america_12 n57_a_voice_of_america_13->n57_a_voice_of_america_14 n57_a_voice_of_america_16 P-ROLE n57_a_voice_of_america_15->n57_a_voice_of_america_16 n57_a_voice_of_america_18 NP n57_a_voice_of_america_15->n57_a_voice_of_america_18 n57_a_voice_of_america_16->n57_a_voice_of_america_17 n57_a_voice_of_america_19 NS n57_a_voice_of_america_18->n57_a_voice_of_america_19 n57_a_voice_of_america_21 PP n57_a_voice_of_america_18->n57_a_voice_of_america_21 n57_a_voice_of_america_19->n57_a_voice_of_america_20 n57_a_voice_of_america_22 P-ROLE n57_a_voice_of_america_21->n57_a_voice_of_america_22 n57_a_voice_of_america_24 NP n57_a_voice_of_america_21->n57_a_voice_of_america_24 n57_a_voice_of_america_22->n57_a_voice_of_america_23 n57_a_voice_of_america_25 NLYR n57_a_voice_of_america_24->n57_a_voice_of_america_25 n57_a_voice_of_america_26 NLYR n57_a_voice_of_america_25->n57_a_voice_of_america_26 n57_a_voice_of_america_41 CONJP n57_a_voice_of_america_25->n57_a_voice_of_america_41 n57_a_voice_of_america_27 NP-GEN n57_a_voice_of_america_26->n57_a_voice_of_america_27 n57_a_voice_of_america_34 ADJP n57_a_voice_of_america_26->n57_a_voice_of_america_34 n57_a_voice_of_america_37 NS n57_a_voice_of_america_26->n57_a_voice_of_america_37 n57_a_voice_of_america_39 N n57_a_voice_of_america_26->n57_a_voice_of_america_39 n57_a_voice_of_america_28 NPR n57_a_voice_of_america_27->n57_a_voice_of_america_28 n57_a_voice_of_america_30 NPR n57_a_voice_of_america_27->n57_a_voice_of_america_30 n57_a_voice_of_america_32 GENM n57_a_voice_of_america_27->n57_a_voice_of_america_32 n57_a_voice_of_america_28->n57_a_voice_of_america_29 n57_a_voice_of_america_30->n57_a_voice_of_america_31 n57_a_voice_of_america_32->n57_a_voice_of_america_33 n57_a_voice_of_america_35 ADJ n57_a_voice_of_america_34->n57_a_voice_of_america_35 n57_a_voice_of_america_35->n57_a_voice_of_america_36 n57_a_voice_of_america_37->n57_a_voice_of_america_38 n57_a_voice_of_america_39->n57_a_voice_of_america_40 n57_a_voice_of_america_42 CONJ n57_a_voice_of_america_41->n57_a_voice_of_america_42 n57_a_voice_of_america_44 NLYR n57_a_voice_of_america_41->n57_a_voice_of_america_44 n57_a_voice_of_america_42->n57_a_voice_of_america_43 n57_a_voice_of_america_45 NP-GEN n57_a_voice_of_america_44->n57_a_voice_of_america_45 n57_a_voice_of_america_52 N n57_a_voice_of_america_44->n57_a_voice_of_america_52 n57_a_voice_of_america_54 PP n57_a_voice_of_america_44->n57_a_voice_of_america_54 n57_a_voice_of_america_63 PP n57_a_voice_of_america_44->n57_a_voice_of_america_63 n57_a_voice_of_america_46 D n57_a_voice_of_america_45->n57_a_voice_of_america_46 n57_a_voice_of_america_48 NPR n57_a_voice_of_america_45->n57_a_voice_of_america_48 n57_a_voice_of_america_50 GENM n57_a_voice_of_america_45->n57_a_voice_of_america_50 n57_a_voice_of_america_46->n57_a_voice_of_america_47 n57_a_voice_of_america_48->n57_a_voice_of_america_49 n57_a_voice_of_america_50->n57_a_voice_of_america_51 n57_a_voice_of_america_52->n57_a_voice_of_america_53 n57_a_voice_of_america_55 P-ROLE n57_a_voice_of_america_54->n57_a_voice_of_america_55 n57_a_voice_of_america_57 NP n57_a_voice_of_america_54->n57_a_voice_of_america_57 n57_a_voice_of_america_55->n57_a_voice_of_america_56 n57_a_voice_of_america_58 ADJP n57_a_voice_of_america_57->n57_a_voice_of_america_58 n57_a_voice_of_america_61 NS n57_a_voice_of_america_57->n57_a_voice_of_america_61 n57_a_voice_of_america_59 ADJ n57_a_voice_of_america_58->n57_a_voice_of_america_59 n57_a_voice_of_america_59->n57_a_voice_of_america_60 n57_a_voice_of_america_61->n57_a_voice_of_america_62 n57_a_voice_of_america_64 P-ROLE n57_a_voice_of_america_63->n57_a_voice_of_america_64 n57_a_voice_of_america_66 NP n57_a_voice_of_america_63->n57_a_voice_of_america_66 n57_a_voice_of_america_64->n57_a_voice_of_america_65 n57_a_voice_of_america_67 D n57_a_voice_of_america_66->n57_a_voice_of_america_67 n57_a_voice_of_america_69 NLYR n57_a_voice_of_america_66->n57_a_voice_of_america_69 n57_a_voice_of_america_67->n57_a_voice_of_america_68 n57_a_voice_of_america_70 NLYR n57_a_voice_of_america_69->n57_a_voice_of_america_70 n57_a_voice_of_america_73 CONJP n57_a_voice_of_america_69->n57_a_voice_of_america_73 n57_a_voice_of_america_71 NPRS n57_a_voice_of_america_70->n57_a_voice_of_america_71 n57_a_voice_of_america_71->n57_a_voice_of_america_72 n57_a_voice_of_america_74 CONJ n57_a_voice_of_america_73->n57_a_voice_of_america_74 n57_a_voice_of_america_76 NLYR n57_a_voice_of_america_73->n57_a_voice_of_america_76 n57_a_voice_of_america_74->n57_a_voice_of_america_75 n57_a_voice_of_america_77 NPRS n57_a_voice_of_america_76->n57_a_voice_of_america_77 n57_a_voice_of_america_77->n57_a_voice_of_america_78 n57_a_voice_of_america_79->n57_a_voice_of_america_80 
( (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))