( (IP-MAT (NP-SBJ (PRO We;{we}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ publish;{publish})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJS best;{good}))
                              (N article;{article}))
                      (NP-NIM (ADJP (ADJ next;{next}))
                              (N month;{month})))
          (PUNC .))
  (ID 20_a_fce_0102_2000_12))

arc(r_0020_0002__will,r_0020_0003__publish,scope).
arc(r_0020_0003__publish,r_0020_0001__We,arg0).
arc(r_0020_0003__publish,r_0020_0004__the_r_0020_0006__article,arg1).
arc(r_0020_0003__publish,r_0020_0008__month,nim).
arc(r_0020_0004__the_r_0020_0006__article,r_0020_0005__best,attrib).
arc(r_0020_0008__month,r_0020_0007__next,attrib).

fof(formula,axiom,
    ? [R_0020_0001__WE,R_0020_0005__BEST,R_0020_0004__THE_R_0020_0006__ARTICLE,R_0020_0007__NEXT,R_0020_0008__MONTH,R_0020_0002__WILL_R_0020_0003__PUBLISH] :
      ( r_0020_0001__We(R_0020_0001__WE)
      & r_0020_0005__best(R_0020_0005__BEST)
      & r_0020_0007__next(R_0020_0007__NEXT)
      & r_0020_0002__will_r_0020_0003__publish(R_0020_0002__WILL_R_0020_0003__PUBLISH)
      & has_nim(R_0020_0002__WILL_R_0020_0003__PUBLISH,R_0020_0008__MONTH)
      & r_0020_0008__month(R_0020_0008__MONTH)
      & has_attrib(R_0020_0008__MONTH,R_0020_0007__NEXT)
      & has_arg1(R_0020_0002__WILL_R_0020_0003__PUBLISH,R_0020_0004__THE_R_0020_0006__ARTICLE)
      & r_0020_0004__the_r_0020_0006__article(R_0020_0004__THE_R_0020_0006__ARTICLE)
      & has_attrib(R_0020_0004__THE_R_0020_0006__ARTICLE,R_0020_0005__BEST)
      & has_arg0(R_0020_0002__WILL_R_0020_0003__PUBLISH,R_0020_0001__WE) ) ).