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_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_r_0056_0007__had have had r_0056_0005__have_r_0056_0007__had->r_0056_0002__and [arg0] r_0056_0010__talks talks r_0056_0005__have_r_0056_0007__had->r_0056_0010__talks [arg1] r_0056_0013__a_r_0056_0014__year a year r_0056_0005__have_r_0056_0007__had->r_0056_0013__a_r_0056_0014__year for [nim] 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] 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_6 Japan n56_a_voice_of_america_9 and n56_a_voice_of_america_12 North n56_a_voice_of_america_14 Korea n56_a_voice_of_america_16 have n56_a_voice_of_america_18 not n56_a_voice_of_america_21 had n56_a_voice_of_america_25 formal n56_a_voice_of_america_28 bilateral n56_a_voice_of_america_30 talks n56_a_voice_of_america_33 for n56_a_voice_of_america_37 about n56_a_voice_of_america_39 a n56_a_voice_of_america_41 year n56_a_voice_of_america_43 . n56_a_voice_of_america_1 IP-MAT n56_a_voice_of_america_2 NP-SBJ n56_a_voice_of_america_1->n56_a_voice_of_america_2 n56_a_voice_of_america_15 HVP;_cat_Ve_ n56_a_voice_of_america_1->n56_a_voice_of_america_15 n56_a_voice_of_america_17 NEG n56_a_voice_of_america_1->n56_a_voice_of_america_17 n56_a_voice_of_america_19 IP-PPL-CAT n56_a_voice_of_america_1->n56_a_voice_of_america_19 n56_a_voice_of_america_42 PUNC n56_a_voice_of_america_1->n56_a_voice_of_america_42 n56_a_voice_of_america_3 NLYR n56_a_voice_of_america_2->n56_a_voice_of_america_3 n56_a_voice_of_america_4 NLYR n56_a_voice_of_america_3->n56_a_voice_of_america_4 n56_a_voice_of_america_7 CONJP n56_a_voice_of_america_3->n56_a_voice_of_america_7 n56_a_voice_of_america_5 NPR n56_a_voice_of_america_4->n56_a_voice_of_america_5 n56_a_voice_of_america_5->n56_a_voice_of_america_6 n56_a_voice_of_america_8 CONJ n56_a_voice_of_america_7->n56_a_voice_of_america_8 n56_a_voice_of_america_10 NLYR n56_a_voice_of_america_7->n56_a_voice_of_america_10 n56_a_voice_of_america_8->n56_a_voice_of_america_9 n56_a_voice_of_america_11 NPR n56_a_voice_of_america_10->n56_a_voice_of_america_11 n56_a_voice_of_america_13 NPR n56_a_voice_of_america_10->n56_a_voice_of_america_13 n56_a_voice_of_america_11->n56_a_voice_of_america_12 n56_a_voice_of_america_13->n56_a_voice_of_america_14 n56_a_voice_of_america_15->n56_a_voice_of_america_16 n56_a_voice_of_america_17->n56_a_voice_of_america_18 n56_a_voice_of_america_20 HVN;_Tn_ n56_a_voice_of_america_19->n56_a_voice_of_america_20 n56_a_voice_of_america_22 NP-OB1 n56_a_voice_of_america_19->n56_a_voice_of_america_22 n56_a_voice_of_america_31 PP-NIM n56_a_voice_of_america_19->n56_a_voice_of_america_31 n56_a_voice_of_america_20->n56_a_voice_of_america_21 n56_a_voice_of_america_23 ADJP n56_a_voice_of_america_22->n56_a_voice_of_america_23 n56_a_voice_of_america_26 ADJP n56_a_voice_of_america_22->n56_a_voice_of_america_26 n56_a_voice_of_america_29 NS n56_a_voice_of_america_22->n56_a_voice_of_america_29 n56_a_voice_of_america_24 ADJ n56_a_voice_of_america_23->n56_a_voice_of_america_24 n56_a_voice_of_america_24->n56_a_voice_of_america_25 n56_a_voice_of_america_27 ADJ n56_a_voice_of_america_26->n56_a_voice_of_america_27 n56_a_voice_of_america_27->n56_a_voice_of_america_28 n56_a_voice_of_america_29->n56_a_voice_of_america_30 n56_a_voice_of_america_32 P-ROLE n56_a_voice_of_america_31->n56_a_voice_of_america_32 n56_a_voice_of_america_34 NP n56_a_voice_of_america_31->n56_a_voice_of_america_34 n56_a_voice_of_america_32->n56_a_voice_of_america_33 n56_a_voice_of_america_35 ADVP n56_a_voice_of_america_34->n56_a_voice_of_america_35 n56_a_voice_of_america_38 D n56_a_voice_of_america_34->n56_a_voice_of_america_38 n56_a_voice_of_america_40 N n56_a_voice_of_america_34->n56_a_voice_of_america_40 n56_a_voice_of_america_36 ADV n56_a_voice_of_america_35->n56_a_voice_of_america_36 n56_a_voice_of_america_36->n56_a_voice_of_america_37 n56_a_voice_of_america_38->n56_a_voice_of_america_39 n56_a_voice_of_america_40->n56_a_voice_of_america_41 n56_a_voice_of_america_42->n56_a_voice_of_america_43
( (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))