28_a_fce_0100_2001_06
The best article will be published in the magazine.
( (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))
arc(r_0028_0001__The_r_0028_0003__article,r_0028_0002__best,attrib).
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__nim).
arc(r_0028_0006__published,z_0028_5006___star_,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_0028_5006___STAR_,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_0028_5006___star_(Z_0028_5006___STAR_)
& 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_0028_5006___STAR_)
& has_r_0028_0007__in__nim(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_attrib(R_0028_0001__THE_R_0028_0003__ARTICLE,R_0028_0002__BEST) ) ).