56_a_voice_of_america
Japan and North Korea have not had formal bilateral talks for about a year.
( (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))
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__nim).
arc(r_0056_0010__talks,r_0056_0008__formal,attrib).
arc(r_0056_0010__talks,r_0056_0009__bilateral,attrib).
arc(r_0056_0013__a_r_0056_0014__year,r_0056_0012__about,qual).
fof(formula,axiom,
~ ? [R_0056_0001__JAPAN,R_0056_0003__NORTH_R_0056_0004__KOREA,R_0056_0002__AND,R_0056_0008__FORMAL,R_0056_0009__BILATERAL,R_0056_0010__TALKS,R_0056_0012__ABOUT,R_0056_0013__A_R_0056_0014__YEAR,R_0056_0005__HAVE_R_0056_0007__HAD] :
( r_0056_0001__Japan(R_0056_0001__JAPAN)
& r_0056_0003__North_r_0056_0004__Korea(R_0056_0003__NORTH_R_0056_0004__KOREA)
& r_0056_0008__formal(R_0056_0008__FORMAL)
& r_0056_0009__bilateral(R_0056_0009__BILATERAL)
& r_0056_0012__about(R_0056_0012__ABOUT)
& r_0056_0005__have_r_0056_0007__had(R_0056_0005__HAVE_R_0056_0007__HAD)
& has_r_0056_0011__for__nim(R_0056_0005__HAVE_R_0056_0007__HAD,R_0056_0013__A_R_0056_0014__YEAR)
& r_0056_0013__a_r_0056_0014__year(R_0056_0013__A_R_0056_0014__YEAR)
& has_qual(R_0056_0013__A_R_0056_0014__YEAR,R_0056_0012__ABOUT)
& has_arg1(R_0056_0005__HAVE_R_0056_0007__HAD,R_0056_0010__TALKS)
& r_0056_0010__talks(R_0056_0010__TALKS)
& has_attrib(R_0056_0010__TALKS,R_0056_0009__BILATERAL)
& has_attrib(R_0056_0010__TALKS,R_0056_0008__FORMAL)
& has_arg0(R_0056_0005__HAVE_R_0056_0007__HAD,R_0056_0002__AND)
& r_0056_0002__and(R_0056_0002__AND)
& has_conj2(R_0056_0002__AND,R_0056_0003__NORTH_R_0056_0004__KOREA)
& has_conj1(R_0056_0002__AND,R_0056_0001__JAPAN) ) ).