21_a_fce_0100_2000_12
The writer of the best article will win a prize.
( (IP-MAT (NP-SBJ (D The;{the})
(N writer;{writer})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJS best;{good}))
(N article;{article}))))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tn_ win;{win})
(NP-OB1 (D a;{a})
(N prize;{prize})))
(PUNC .))
(ID 21_a_fce_0100_2000_12))
arc(r_0021_0001__The_r_0021_0002__writer,r_0021_0004__the_r_0021_0006__article,r_0021_0003__of).
arc(r_0021_0004__the_r_0021_0006__article,r_0021_0005__best,attrib).
arc(r_0021_0007__will,r_0021_0008__win,scope).
arc(r_0021_0008__win,r_0021_0001__The_r_0021_0002__writer,arg0).
arc(r_0021_0008__win,r_0021_0009__a_r_0021_0010__prize,arg1).
fof(formula,axiom,
? [R_0021_0005__BEST,R_0021_0004__THE_R_0021_0006__ARTICLE,R_0021_0001__THE_R_0021_0002__WRITER,R_0021_0009__A_R_0021_0010__PRIZE,R_0021_0007__WILL_R_0021_0008__WIN] :
( r_0021_0005__best(R_0021_0005__BEST)
& r_0021_0009__a_r_0021_0010__prize(R_0021_0009__A_R_0021_0010__PRIZE)
& r_0021_0007__will_r_0021_0008__win(R_0021_0007__WILL_R_0021_0008__WIN)
& has_arg1(R_0021_0007__WILL_R_0021_0008__WIN,R_0021_0009__A_R_0021_0010__PRIZE)
& has_arg0(R_0021_0007__WILL_R_0021_0008__WIN,R_0021_0001__THE_R_0021_0002__WRITER)
& r_0021_0001__The_r_0021_0002__writer(R_0021_0001__THE_R_0021_0002__WRITER)
& has_r_0021_0003__of(R_0021_0001__THE_R_0021_0002__WRITER,R_0021_0004__THE_R_0021_0006__ARTICLE)
& r_0021_0004__the_r_0021_0006__article(R_0021_0004__THE_R_0021_0006__ARTICLE)
& has_attrib(R_0021_0004__THE_R_0021_0006__ARTICLE,R_0021_0005__BEST) ) ).