Context                Previous, Next                Top


33_a_fce_0100_2000_06
Is this true of the book you have read?

%3 r_0033_0001__Is Is r_0033_0002__this this r_0033_0001__Is->r_0033_0002__this [arg0] r_0033_0003__true true r_0033_0001__Is->r_0033_0003__true [prd] r_0033_0005__the_r_0033_0006__book the book r_0033_0003__true->r_0033_0005__the_r_0033_0006__book of r_0033_0008__have have r_0033_0009__read read r_0033_0008__have->r_0033_0009__read [scope] r_0033_0009__read->r_0033_0005__the_r_0033_0006__book [arg1] r_0033_0007__you you r_0033_0009__read->r_0033_0007__you [arg0] 
arc(r_0033_0001__Is, r_0033_0002__this, arg0).
arc(r_0033_0001__Is, r_0033_0003__true, prd).
arc(r_0033_0003__true, r_0033_0005__the_r_0033_0006__book, r_0033_0004__of).
arc(r_0033_0008__have, r_0033_0009__read, scope).
arc(r_0033_0009__read, r_0033_0005__the_r_0033_0006__book, arg1).
arc(r_0033_0009__read, r_0033_0007__you, arg0).


%3 r_0033_0008__have_r_0033_0009__read have read r_0033_0007__you you r_0033_0008__have_r_0033_0009__read->r_0033_0007__you [arg0] r_0033_0005__the_r_0033_0006__book the book r_0033_0008__have_r_0033_0009__read->r_0033_0005__the_r_0033_0006__book [arg1] r_0033_0003__true true r_0033_0003__true->r_0033_0005__the_r_0033_0006__book of r_0033_0001__Is Is r_0033_0001__Is->r_0033_0003__true [prd] r_0033_0002__this this r_0033_0001__Is->r_0033_0002__this [arg0] 
fof(formula,axiom,
    ? [R_33_1_IS,R_33_2_THIS,R_33_3_TRUE,R_33_8_HAVE_READ,R_33_7_YOU,R_33_5_THE_BOOK] :
      ( this(R_33_2_THIS)
      & you(R_33_7_YOU)
      & the_book(R_33_5_THE_BOOK)
      & is(R_33_1_IS,R_33_2_THIS,R_33_3_TRUE)
      & true(R_33_3_TRUE)
      & of(R_33_3_TRUE,R_33_5_THE_BOOK)
      & have_read(R_33_8_HAVE_READ,R_33_7_YOU,R_33_5_THE_BOOK) ) ).


n33_a_fce_0100_2000_06 n33_a_fce_0100_2000_06__1_1_1_1 Is n33_a_fce_0100_2000_06__1_1_2_1_1 this n33_a_fce_0100_2000_06__1_1_3_1_1 true n33_a_fce_0100_2000_06__1_1_3_2_1_1 of n33_a_fce_0100_2000_06__1_1_3_2_2_1_1 the n33_a_fce_0100_2000_06__1_1_3_2_2_2_1 book n33_a_fce_0100_2000_06__1_1_3_2_2_3_1_1_1 you n33_a_fce_0100_2000_06__1_1_3_2_2_3_2_1 have n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_1_1 *T* n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_2_1 read n33_a_fce_0100_2000_06__1_2_1 ? n33_a_fce_0100_2000_06__1 CP-QUE-MAT n33_a_fce_0100_2000_06__1_1 IP-SUB n33_a_fce_0100_2000_06__1->n33_a_fce_0100_2000_06__1_1 n33_a_fce_0100_2000_06__1_2 PUNC n33_a_fce_0100_2000_06__1->n33_a_fce_0100_2000_06__1_2 n33_a_fce_0100_2000_06__1_1_1 BEP;_La_ n33_a_fce_0100_2000_06__1_1->n33_a_fce_0100_2000_06__1_1_1 n33_a_fce_0100_2000_06__1_1_2 NP-SBJ n33_a_fce_0100_2000_06__1_1->n33_a_fce_0100_2000_06__1_1_2 n33_a_fce_0100_2000_06__1_1_3 ADJP-PRD n33_a_fce_0100_2000_06__1_1->n33_a_fce_0100_2000_06__1_1_3 n33_a_fce_0100_2000_06__1_1_1->n33_a_fce_0100_2000_06__1_1_1_1 n33_a_fce_0100_2000_06__1_1_2_1 D;_nphd_ n33_a_fce_0100_2000_06__1_1_2->n33_a_fce_0100_2000_06__1_1_2_1 n33_a_fce_0100_2000_06__1_1_2_1->n33_a_fce_0100_2000_06__1_1_2_1_1 n33_a_fce_0100_2000_06__1_1_3_1 ADJ n33_a_fce_0100_2000_06__1_1_3->n33_a_fce_0100_2000_06__1_1_3_1 n33_a_fce_0100_2000_06__1_1_3_2 PP n33_a_fce_0100_2000_06__1_1_3->n33_a_fce_0100_2000_06__1_1_3_2 n33_a_fce_0100_2000_06__1_1_3_1->n33_a_fce_0100_2000_06__1_1_3_1_1 n33_a_fce_0100_2000_06__1_1_3_2_1 P-ROLE n33_a_fce_0100_2000_06__1_1_3_2->n33_a_fce_0100_2000_06__1_1_3_2_1 n33_a_fce_0100_2000_06__1_1_3_2_2 NP n33_a_fce_0100_2000_06__1_1_3_2->n33_a_fce_0100_2000_06__1_1_3_2_2 n33_a_fce_0100_2000_06__1_1_3_2_1->n33_a_fce_0100_2000_06__1_1_3_2_1_1 n33_a_fce_0100_2000_06__1_1_3_2_2_1 D n33_a_fce_0100_2000_06__1_1_3_2_2->n33_a_fce_0100_2000_06__1_1_3_2_2_1 n33_a_fce_0100_2000_06__1_1_3_2_2_2 N n33_a_fce_0100_2000_06__1_1_3_2_2->n33_a_fce_0100_2000_06__1_1_3_2_2_2 n33_a_fce_0100_2000_06__1_1_3_2_2_3 IP-REL n33_a_fce_0100_2000_06__1_1_3_2_2->n33_a_fce_0100_2000_06__1_1_3_2_2_3 n33_a_fce_0100_2000_06__1_1_3_2_2_1->n33_a_fce_0100_2000_06__1_1_3_2_2_1_1 n33_a_fce_0100_2000_06__1_1_3_2_2_2->n33_a_fce_0100_2000_06__1_1_3_2_2_2_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_1 NP-SBJ n33_a_fce_0100_2000_06__1_1_3_2_2_3->n33_a_fce_0100_2000_06__1_1_3_2_2_3_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_2 HVP;_cat_Ve_ n33_a_fce_0100_2000_06__1_1_3_2_2_3->n33_a_fce_0100_2000_06__1_1_3_2_2_3_2 n33_a_fce_0100_2000_06__1_1_3_2_2_3_3 IP-PPL-CAT n33_a_fce_0100_2000_06__1_1_3_2_2_3->n33_a_fce_0100_2000_06__1_1_3_2_2_3_3 n33_a_fce_0100_2000_06__1_1_3_2_2_3_1_1 PRO n33_a_fce_0100_2000_06__1_1_3_2_2_3_1->n33_a_fce_0100_2000_06__1_1_3_2_2_3_1_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_1_1->n33_a_fce_0100_2000_06__1_1_3_2_2_3_1_1_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_2->n33_a_fce_0100_2000_06__1_1_3_2_2_3_2_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_1 NP-OB1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_3->n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_2 VVN;_Tn_ n33_a_fce_0100_2000_06__1_1_3_2_2_3_3->n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_2 n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_1->n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_1_1 n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_2->n33_a_fce_0100_2000_06__1_1_3_2_2_3_3_2_1 n33_a_fce_0100_2000_06__1_2->n33_a_fce_0100_2000_06__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ;{STATEMENT1} (D;_nphd_ this;{this}))
                      (ADJP-PRD (ADJ true;{true})
                                (PP (P-ROLE of;{of})
                                    (NP;{BOOK1} (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 33_a_fce_0100_2000_06))