arc(r_0028_0001__The_r_0028_0003__article, r_0028_0002__best, attrib5).
arc(r_0028_0004__will, r_0028_0005__be, scope).
arc(r_0028_0005__be, r_0028_0006__published, scope).
arc(r_0028_0006__published, r_0028_0001__The_r_0028_0003__article, arg1).
arc(r_0028_0006__published, r_0028_0008__the_r_0028_0009__magazine, r_0028_0007__in_nim23).
arc(r_0028_0006__published, z_000_28_a_fce_0100_2001_06_16, arg0).

fof(formula,axiom,
    ? [R_0028_0002__BEST,R_0028_0001__THE_R_0028_0003__ARTICLE,R_0028_0008__THE_R_0028_0009__MAGAZINE,Z_000_28_A_FCE_0100_2001_06_16,R_0028_0004__WILL_R_0028_0005__BE_R_0028_0006__PUBLISHED] :
      ( r_0028_0002__best(R_0028_0002__BEST)
      & r_0028_0008__the_r_0028_0009__magazine(R_0028_0008__THE_R_0028_0009__MAGAZINE)
      & z_000_28_a_fce_0100_2001_06_16(Z_000_28_A_FCE_0100_2001_06_16)
      & r_0028_0004__will_r_0028_0005__be_r_0028_0006__published(R_0028_0004__WILL_R_0028_0005__BE_R_0028_0006__PUBLISHED)
      & has_arg0(R_0028_0004__WILL_R_0028_0005__BE_R_0028_0006__PUBLISHED,Z_000_28_A_FCE_0100_2001_06_16)
      & has_r_0028_0007__in_nim23(R_0028_0004__WILL_R_0028_0005__BE_R_0028_0006__PUBLISHED,R_0028_0008__THE_R_0028_0009__MAGAZINE)
      & has_arg1(R_0028_0004__WILL_R_0028_0005__BE_R_0028_0006__PUBLISHED,R_0028_0001__THE_R_0028_0003__ARTICLE)
      & r_0028_0001__The_r_0028_0003__article(R_0028_0001__THE_R_0028_0003__ARTICLE)
      & has_attrib5(R_0028_0001__THE_R_0028_0003__ARTICLE,R_0028_0002__BEST) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJS best;{good}))
                  (N article;{article}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ published;{publish})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N magazine;{magazine})))))
          (PUNC .))
  (ID 28_a_fce_0100_2001_06))