Context                Previous, Next                Top


28_a_fce_0101_2000_06
Would you give a prize to the book you have read?

%3 r_0028_0001__Would Would r_0028_0003__give give r_0028_0001__Would->r_0028_0003__give [scope] r_0028_0002__you you r_0028_0003__give->r_0028_0002__you [arg0] r_0028_0004__a_r_0028_0005__prize a prize r_0028_0003__give->r_0028_0004__a_r_0028_0005__prize [arg1] r_0028_0007__the_r_0028_0008__book the book r_0028_0003__give->r_0028_0007__the_r_0028_0008__book [arg2] r_0028_0010__have have r_0028_0011__read read r_0028_0010__have->r_0028_0011__read [scope] r_0028_0011__read->r_0028_0002__you [arg0] r_0028_0011__read->r_0028_0007__the_r_0028_0008__book [arg1] 
arc(r_0028_0001__Would, r_0028_0003__give, scope).
arc(r_0028_0003__give, r_0028_0002__you, arg0).
arc(r_0028_0003__give, r_0028_0004__a_r_0028_0005__prize, arg1).
arc(r_0028_0003__give, 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, arg1).


%3 r_0028_0010__have_r_0028_0011__read have read r_0028_0007__the_r_0028_0008__book the book r_0028_0010__have_r_0028_0011__read->r_0028_0007__the_r_0028_0008__book [arg1] r_0028_0002__you you r_0028_0010__have_r_0028_0011__read->r_0028_0002__you [arg0] r_0028_0001__Would_r_0028_0003__give Would give r_0028_0001__Would_r_0028_0003__give->r_0028_0007__the_r_0028_0008__book [arg2] r_0028_0001__Would_r_0028_0003__give->r_0028_0002__you [arg0] r_0028_0004__a_r_0028_0005__prize a prize r_0028_0001__Would_r_0028_0003__give->r_0028_0004__a_r_0028_0005__prize [arg1] 
fof(formula,axiom,
    ? [R_28_1_WOULD_GIVE,R_28_4_A_PRIZE,R_28_10_HAVE_READ,R_28_2_YOU,R_28_7_THE_BOOK] :
      ( a_prize(R_28_4_A_PRIZE)
      & you(R_28_2_YOU)
      & the_book(R_28_7_THE_BOOK)
      & would_give(R_28_1_WOULD_GIVE,R_28_2_YOU,R_28_4_A_PRIZE,R_28_7_THE_BOOK)
      & have_read(R_28_10_HAVE_READ,R_28_2_YOU,R_28_7_THE_BOOK) ) ).


n28_a_fce_0101_2000_06 n28_a_fce_0101_2000_06__1_1_1_1 Would n28_a_fce_0101_2000_06__1_1_2_1_1 you n28_a_fce_0101_2000_06__1_1_3_1_1 give n28_a_fce_0101_2000_06__1_1_3_2_1_1 a n28_a_fce_0101_2000_06__1_1_3_2_2_1 prize n28_a_fce_0101_2000_06__1_1_3_3_1_1 to n28_a_fce_0101_2000_06__1_1_3_3_2_1_1 the n28_a_fce_0101_2000_06__1_1_3_3_2_2_1 book n28_a_fce_0101_2000_06__1_1_3_3_2_3_1_1_1 you n28_a_fce_0101_2000_06__1_1_3_3_2_3_2_1 have n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_1_1 *T* n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_2_1 read n28_a_fce_0101_2000_06__1_2_1 ? n28_a_fce_0101_2000_06__1 CP-QUE-MAT n28_a_fce_0101_2000_06__1_1 IP-SUB n28_a_fce_0101_2000_06__1->n28_a_fce_0101_2000_06__1_1 n28_a_fce_0101_2000_06__1_2 PUNC n28_a_fce_0101_2000_06__1->n28_a_fce_0101_2000_06__1_2 n28_a_fce_0101_2000_06__1_1_1 MD;_cat_Vi_ n28_a_fce_0101_2000_06__1_1->n28_a_fce_0101_2000_06__1_1_1 n28_a_fce_0101_2000_06__1_1_2 NP-SBJ n28_a_fce_0101_2000_06__1_1->n28_a_fce_0101_2000_06__1_1_2 n28_a_fce_0101_2000_06__1_1_3 IP-INF-CAT n28_a_fce_0101_2000_06__1_1->n28_a_fce_0101_2000_06__1_1_3 n28_a_fce_0101_2000_06__1_1_1->n28_a_fce_0101_2000_06__1_1_1_1 n28_a_fce_0101_2000_06__1_1_2_1 PRO n28_a_fce_0101_2000_06__1_1_2->n28_a_fce_0101_2000_06__1_1_2_1 n28_a_fce_0101_2000_06__1_1_2_1->n28_a_fce_0101_2000_06__1_1_2_1_1 n28_a_fce_0101_2000_06__1_1_3_1 VB;_Dn.pr_ n28_a_fce_0101_2000_06__1_1_3->n28_a_fce_0101_2000_06__1_1_3_1 n28_a_fce_0101_2000_06__1_1_3_2 NP-OB1 n28_a_fce_0101_2000_06__1_1_3->n28_a_fce_0101_2000_06__1_1_3_2 n28_a_fce_0101_2000_06__1_1_3_3 PP-OB2 n28_a_fce_0101_2000_06__1_1_3->n28_a_fce_0101_2000_06__1_1_3_3 n28_a_fce_0101_2000_06__1_1_3_1->n28_a_fce_0101_2000_06__1_1_3_1_1 n28_a_fce_0101_2000_06__1_1_3_2_1 D n28_a_fce_0101_2000_06__1_1_3_2->n28_a_fce_0101_2000_06__1_1_3_2_1 n28_a_fce_0101_2000_06__1_1_3_2_2 N n28_a_fce_0101_2000_06__1_1_3_2->n28_a_fce_0101_2000_06__1_1_3_2_2 n28_a_fce_0101_2000_06__1_1_3_2_1->n28_a_fce_0101_2000_06__1_1_3_2_1_1 n28_a_fce_0101_2000_06__1_1_3_2_2->n28_a_fce_0101_2000_06__1_1_3_2_2_1 n28_a_fce_0101_2000_06__1_1_3_3_1 P-ROLE n28_a_fce_0101_2000_06__1_1_3_3->n28_a_fce_0101_2000_06__1_1_3_3_1 n28_a_fce_0101_2000_06__1_1_3_3_2 NP n28_a_fce_0101_2000_06__1_1_3_3->n28_a_fce_0101_2000_06__1_1_3_3_2 n28_a_fce_0101_2000_06__1_1_3_3_1->n28_a_fce_0101_2000_06__1_1_3_3_1_1 n28_a_fce_0101_2000_06__1_1_3_3_2_1 D n28_a_fce_0101_2000_06__1_1_3_3_2->n28_a_fce_0101_2000_06__1_1_3_3_2_1 n28_a_fce_0101_2000_06__1_1_3_3_2_2 N n28_a_fce_0101_2000_06__1_1_3_3_2->n28_a_fce_0101_2000_06__1_1_3_3_2_2 n28_a_fce_0101_2000_06__1_1_3_3_2_3 IP-REL n28_a_fce_0101_2000_06__1_1_3_3_2->n28_a_fce_0101_2000_06__1_1_3_3_2_3 n28_a_fce_0101_2000_06__1_1_3_3_2_1->n28_a_fce_0101_2000_06__1_1_3_3_2_1_1 n28_a_fce_0101_2000_06__1_1_3_3_2_2->n28_a_fce_0101_2000_06__1_1_3_3_2_2_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_1 NP-SBJ n28_a_fce_0101_2000_06__1_1_3_3_2_3->n28_a_fce_0101_2000_06__1_1_3_3_2_3_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_2 HVP;_cat_Ve_ n28_a_fce_0101_2000_06__1_1_3_3_2_3->n28_a_fce_0101_2000_06__1_1_3_3_2_3_2 n28_a_fce_0101_2000_06__1_1_3_3_2_3_3 IP-PPL-CAT n28_a_fce_0101_2000_06__1_1_3_3_2_3->n28_a_fce_0101_2000_06__1_1_3_3_2_3_3 n28_a_fce_0101_2000_06__1_1_3_3_2_3_1_1 PRO n28_a_fce_0101_2000_06__1_1_3_3_2_3_1->n28_a_fce_0101_2000_06__1_1_3_3_2_3_1_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_1_1->n28_a_fce_0101_2000_06__1_1_3_3_2_3_1_1_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_2->n28_a_fce_0101_2000_06__1_1_3_3_2_3_2_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_1 NP-OB1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_3->n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_2 VVN;_Tn_ n28_a_fce_0101_2000_06__1_1_3_3_2_3_3->n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_2 n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_1->n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_1_1 n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_2->n28_a_fce_0101_2000_06__1_1_3_3_2_3_3_2_1 n28_a_fce_0101_2000_06__1_2->n28_a_fce_0101_2000_06__1_2_1 
( (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))