28_a_fce_0101_2000_06
Would you give a prize to the book you have read?
( (CP-QUE-MAT (IP-SUB (MD;_cat_Vi_ Would;{will})
(NP-SBJ (PRO you;{you}))
(IP-INF-CAT (VB;_Dn.pr_ give;{give[to]})
(NP-OB1 (D a;{a})
(N prize;{prize}))
(PP-OB2 (P-ROLE to;{to})
(NP (D the;{the})
(N book;{book})
(IP-REL (NP-SBJ (PRO you;{you}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (NP-OB1 *T*)
(VVN;_Tn_ read;{read})))))))
(PUNC ?))
(ID 28_a_fce_0101_2000_06))
arc(r_0028_0001__Would,r_0028_0003__give_r_0028_0006__to,scope).
arc(r_0028_0003__give_r_0028_0006__to,r_0028_0002__you,arg0).
arc(r_0028_0003__give_r_0028_0006__to,r_0028_0004__a_r_0028_0005__prize,arg1).
arc(r_0028_0003__give_r_0028_0006__to,r_0028_0007__the_r_0028_0008__book,arg2).
arc(r_0028_0010__have,r_0028_0011__read,scope).
arc(r_0028_0011__read,r_0028_0002__you,arg0).
arc(r_0028_0011__read,r_0028_0007__the_r_0028_0008__book,inv_arg1).
fof(formula,axiom,
? [R_0028_0002__YOU,R_0028_0004__A_R_0028_0005__PRIZE,R_0028_0010__HAVE_R_0028_0011__READ,R_0028_0007__THE_R_0028_0008__BOOK,R_0028_0001__WOULD_R_0028_0003__GIVE_R_0028_0006__TO] :
( r_0028_0002__you(R_0028_0002__YOU)
& r_0028_0004__a_r_0028_0005__prize(R_0028_0004__A_R_0028_0005__PRIZE)
& r_0028_0001__Would_r_0028_0003__give_r_0028_0006__to(R_0028_0001__WOULD_R_0028_0003__GIVE_R_0028_0006__TO)
& has_arg2(R_0028_0001__WOULD_R_0028_0003__GIVE_R_0028_0006__TO,R_0028_0007__THE_R_0028_0008__BOOK)
& r_0028_0007__the_r_0028_0008__book(R_0028_0007__THE_R_0028_0008__BOOK)
& has_inv_arg1(R_0028_0007__THE_R_0028_0008__BOOK,R_0028_0010__HAVE_R_0028_0011__READ)
& r_0028_0010__have_r_0028_0011__read(R_0028_0010__HAVE_R_0028_0011__READ)
& has_arg0(R_0028_0010__HAVE_R_0028_0011__READ,R_0028_0002__YOU)
& has_arg1(R_0028_0001__WOULD_R_0028_0003__GIVE_R_0028_0006__TO,R_0028_0004__A_R_0028_0005__PRIZE)
& has_arg0(R_0028_0001__WOULD_R_0028_0003__GIVE_R_0028_0006__TO,R_0028_0002__YOU) ) ).