Context                Previous, Next                Top


56_a_voice_of_america
Japan and North Korea have not had formal bilateral talks for about a year.

%3 r_0056_0002__and and r_0056_0001__Japan Japan r_0056_0002__and->r_0056_0001__Japan [conj1] r_0056_0003__North_r_0056_0004__Korea North Korea r_0056_0002__and->r_0056_0003__North_r_0056_0004__Korea [conj2] r_0056_0005__have have r_0056_0007__had had r_0056_0005__have->r_0056_0007__had [scope] r_0056_0007__had->r_0056_0002__and [arg0] r_0056_0010__talks talks r_0056_0007__had->r_0056_0010__talks [arg1] r_0056_0013__a_r_0056_0014__year a year r_0056_0007__had->r_0056_0013__a_r_0056_0014__year for [nim] r_0056_0006__not not r_0056_0006__not->r_0056_0005__have [keep_scope] r_0056_0008__formal formal r_0056_0010__talks->r_0056_0008__formal [attrib] r_0056_0009__bilateral bilateral r_0056_0010__talks->r_0056_0009__bilateral [attrib] r_0056_0012__about about r_0056_0013__a_r_0056_0014__year->r_0056_0012__about [qual] 
arc(r_0056_0002__and, r_0056_0001__Japan, conj1).
arc(r_0056_0002__and, r_0056_0003__North_r_0056_0004__Korea, conj2).
arc(r_0056_0005__have, r_0056_0007__had, scope).
arc(r_0056_0006__not, r_0056_0005__have, keep_scope).
arc(r_0056_0007__had, r_0056_0002__and, arg0).
arc(r_0056_0007__had, r_0056_0010__talks, arg1).
arc(r_0056_0007__had, r_0056_0013__a_r_0056_0014__year, r_0056_0011__for_nim34).
arc(r_0056_0010__talks, r_0056_0008__formal, attrib23).
arc(r_0056_0010__talks, r_0056_0009__bilateral, attrib26).
arc(r_0056_0013__a_r_0056_0014__year, r_0056_0012__about, qual35).


%3 r_0056_0013__a_r_0056_0014__year a year r_0056_0012__about about r_0056_0013__a_r_0056_0014__year->r_0056_0012__about [qual] r_0056_0010__talks talks r_0056_0009__bilateral bilateral r_0056_0010__talks->r_0056_0009__bilateral [attrib] r_0056_0008__formal formal r_0056_0010__talks->r_0056_0008__formal [attrib] r_0056_0005__have_r_0056_0007__had have had r_0056_0005__have_r_0056_0007__had->r_0056_0013__a_r_0056_0014__year for [nim] r_0056_0005__have_r_0056_0007__had->r_0056_0010__talks [arg1] r_0056_0002__and and r_0056_0005__have_r_0056_0007__had->r_0056_0002__and [arg0] r_0056_0003__North_r_0056_0004__Korea North Korea r_0056_0002__and->r_0056_0003__North_r_0056_0004__Korea [conj2] r_0056_0001__Japan Japan r_0056_0002__and->r_0056_0001__Japan [conj1] r_0056_0006__not not r_0056_0006__not->r_0056_0005__have_r_0056_0007__had [keep_scope] 
fof(formula,axiom,
    ~ ? [R_56_5_HAVE_HAD,R_56_2_AND,R_56_1_JAPAN,R_56_3_NORTH_KOREA,R_56_10_TALKS,R_56_8_FORMAL,R_56_9_BILATERAL,R_56_13_A_YEAR,R_56_12_ABOUT] :
        ( japan(R_56_1_JAPAN)
        & north_Korea(R_56_3_NORTH_KOREA)
        & formal(R_56_8_FORMAL)
        & bilateral(R_56_9_BILATERAL)
        & about(R_56_12_ABOUT)
        & have_had(R_56_5_HAVE_HAD,R_56_2_AND,R_56_10_TALKS)
        & and(R_56_2_AND)
        & conj1(R_56_2_AND,R_56_1_JAPAN)
        & conj2(R_56_2_AND,R_56_3_NORTH_KOREA)
        & talks(R_56_10_TALKS)
        & attrib23(R_56_10_TALKS,R_56_8_FORMAL)
        & attrib26(R_56_10_TALKS,R_56_9_BILATERAL)
        & for_nim34(R_56_5_HAVE_HAD,R_56_13_A_YEAR)
        & a_year(R_56_13_A_YEAR)
        & qual35(R_56_13_A_YEAR,R_56_12_ABOUT) ) ).


n56_a_voice_of_america n56_a_voice_of_america__1_1_1_1_1_1 Japan n56_a_voice_of_america__1_1_1_2_1_1 and n56_a_voice_of_america__1_1_1_2_2_1_1 North n56_a_voice_of_america__1_1_1_2_2_2_1 Korea n56_a_voice_of_america__1_2_1 have n56_a_voice_of_america__1_3_1 not n56_a_voice_of_america__1_4_1_1 had n56_a_voice_of_america__1_4_2_1_1_1 formal n56_a_voice_of_america__1_4_2_2_1_1 bilateral n56_a_voice_of_america__1_4_2_3_1 talks n56_a_voice_of_america__1_4_3_1_1 for n56_a_voice_of_america__1_4_3_2_1_1_1 about n56_a_voice_of_america__1_4_3_2_2_1 a n56_a_voice_of_america__1_4_3_2_3_1 year n56_a_voice_of_america__1_5_1 . n56_a_voice_of_america__1 IP-MAT n56_a_voice_of_america__1_1 NP-SBJ n56_a_voice_of_america__1->n56_a_voice_of_america__1_1 n56_a_voice_of_america__1_2 HVP;_cat_Ve_ n56_a_voice_of_america__1->n56_a_voice_of_america__1_2 n56_a_voice_of_america__1_3 NEG n56_a_voice_of_america__1->n56_a_voice_of_america__1_3 n56_a_voice_of_america__1_4 IP-PPL-CAT n56_a_voice_of_america__1->n56_a_voice_of_america__1_4 n56_a_voice_of_america__1_5 PUNC n56_a_voice_of_america__1->n56_a_voice_of_america__1_5 n56_a_voice_of_america__1_1_1 NLYR n56_a_voice_of_america__1_1->n56_a_voice_of_america__1_1_1 n56_a_voice_of_america__1_1_1_1 NLYR n56_a_voice_of_america__1_1_1->n56_a_voice_of_america__1_1_1_1 n56_a_voice_of_america__1_1_1_2 CONJP n56_a_voice_of_america__1_1_1->n56_a_voice_of_america__1_1_1_2 n56_a_voice_of_america__1_1_1_1_1 NPR n56_a_voice_of_america__1_1_1_1->n56_a_voice_of_america__1_1_1_1_1 n56_a_voice_of_america__1_1_1_1_1->n56_a_voice_of_america__1_1_1_1_1_1 n56_a_voice_of_america__1_1_1_2_1 CONJ n56_a_voice_of_america__1_1_1_2->n56_a_voice_of_america__1_1_1_2_1 n56_a_voice_of_america__1_1_1_2_2 NLYR n56_a_voice_of_america__1_1_1_2->n56_a_voice_of_america__1_1_1_2_2 n56_a_voice_of_america__1_1_1_2_1->n56_a_voice_of_america__1_1_1_2_1_1 n56_a_voice_of_america__1_1_1_2_2_1 NPR n56_a_voice_of_america__1_1_1_2_2->n56_a_voice_of_america__1_1_1_2_2_1 n56_a_voice_of_america__1_1_1_2_2_2 NPR n56_a_voice_of_america__1_1_1_2_2->n56_a_voice_of_america__1_1_1_2_2_2 n56_a_voice_of_america__1_1_1_2_2_1->n56_a_voice_of_america__1_1_1_2_2_1_1 n56_a_voice_of_america__1_1_1_2_2_2->n56_a_voice_of_america__1_1_1_2_2_2_1 n56_a_voice_of_america__1_2->n56_a_voice_of_america__1_2_1 n56_a_voice_of_america__1_3->n56_a_voice_of_america__1_3_1 n56_a_voice_of_america__1_4_1 HVN;_Tn_ n56_a_voice_of_america__1_4->n56_a_voice_of_america__1_4_1 n56_a_voice_of_america__1_4_2 NP-OB1 n56_a_voice_of_america__1_4->n56_a_voice_of_america__1_4_2 n56_a_voice_of_america__1_4_3 PP-NIM n56_a_voice_of_america__1_4->n56_a_voice_of_america__1_4_3 n56_a_voice_of_america__1_4_1->n56_a_voice_of_america__1_4_1_1 n56_a_voice_of_america__1_4_2_1 ADJP n56_a_voice_of_america__1_4_2->n56_a_voice_of_america__1_4_2_1 n56_a_voice_of_america__1_4_2_2 ADJP n56_a_voice_of_america__1_4_2->n56_a_voice_of_america__1_4_2_2 n56_a_voice_of_america__1_4_2_3 NS n56_a_voice_of_america__1_4_2->n56_a_voice_of_america__1_4_2_3 n56_a_voice_of_america__1_4_2_1_1 ADJ n56_a_voice_of_america__1_4_2_1->n56_a_voice_of_america__1_4_2_1_1 n56_a_voice_of_america__1_4_2_1_1->n56_a_voice_of_america__1_4_2_1_1_1 n56_a_voice_of_america__1_4_2_2_1 ADJ n56_a_voice_of_america__1_4_2_2->n56_a_voice_of_america__1_4_2_2_1 n56_a_voice_of_america__1_4_2_2_1->n56_a_voice_of_america__1_4_2_2_1_1 n56_a_voice_of_america__1_4_2_3->n56_a_voice_of_america__1_4_2_3_1 n56_a_voice_of_america__1_4_3_1 P-ROLE n56_a_voice_of_america__1_4_3->n56_a_voice_of_america__1_4_3_1 n56_a_voice_of_america__1_4_3_2 NP n56_a_voice_of_america__1_4_3->n56_a_voice_of_america__1_4_3_2 n56_a_voice_of_america__1_4_3_1->n56_a_voice_of_america__1_4_3_1_1 n56_a_voice_of_america__1_4_3_2_1 ADVP n56_a_voice_of_america__1_4_3_2->n56_a_voice_of_america__1_4_3_2_1 n56_a_voice_of_america__1_4_3_2_2 D n56_a_voice_of_america__1_4_3_2->n56_a_voice_of_america__1_4_3_2_2 n56_a_voice_of_america__1_4_3_2_3 N n56_a_voice_of_america__1_4_3_2->n56_a_voice_of_america__1_4_3_2_3 n56_a_voice_of_america__1_4_3_2_1_1 ADV n56_a_voice_of_america__1_4_3_2_1->n56_a_voice_of_america__1_4_3_2_1_1 n56_a_voice_of_america__1_4_3_2_1_1->n56_a_voice_of_america__1_4_3_2_1_1_1 n56_a_voice_of_america__1_4_3_2_2->n56_a_voice_of_america__1_4_3_2_2_1 n56_a_voice_of_america__1_4_3_2_3->n56_a_voice_of_america__1_4_3_2_3_1 n56_a_voice_of_america__1_5->n56_a_voice_of_america__1_5_1 
( (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Japan;{Japan}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR North;{North})
                                     (NPR Korea;{Korea})))))
          (HVP;_cat_Ve_ have;{have})
          (NEG not;{not})
          (IP-PPL-CAT (HVN;_Tn_ had;{have})
                      (NP-OB1 (ADJP (ADJ formal;{formal}))
                              (ADJP (ADJ bilateral;{bilateral}))
                              (NS talks;{talk}))
                      (PP-NIM (P-ROLE for;{for})
                              (NP (ADVP (ADV about;{about}))
                                  (D a;{a})
                                  (N year;{year}))))
          (PUNC .))
  (ID 56_a_voice_of_america;p00d0262))