Context                Previous, Next                Top


32_a_fce_0102_2000_06
Is this true of the book or one of the short stories you have read?

%3 r_0032_0001__Is Is r_0032_0002__this this r_0032_0001__Is->r_0032_0002__this [arg0] r_0032_0003__true true r_0032_0001__Is->r_0032_0003__true [prd] r_0032_0007__or or r_0032_0003__true->r_0032_0007__or of r_0032_0005__the_r_0032_0006__book the book r_0032_0007__or->r_0032_0005__the_r_0032_0006__book [conj1] r_0032_0008__one one r_0032_0007__or->r_0032_0008__one [conj2] r_0032_0010__the_r_0032_0012__stories the stories r_0032_0008__one->r_0032_0010__the_r_0032_0012__stories of r_0032_0011__short short r_0032_0010__the_r_0032_0012__stories->r_0032_0011__short [attrib] r_0032_0014__have have r_0032_0015__read read r_0032_0014__have->r_0032_0015__read [scope] r_0032_0015__read->r_0032_0007__or [arg1] r_0032_0013__you you r_0032_0015__read->r_0032_0013__you [arg0] 
arc(r_0032_0001__Is, r_0032_0002__this, arg0).
arc(r_0032_0001__Is, r_0032_0003__true, prd).
arc(r_0032_0003__true, r_0032_0007__or, r_0032_0004__of).
arc(r_0032_0007__or, r_0032_0005__the_r_0032_0006__book, conj1).
arc(r_0032_0007__or, r_0032_0008__one, conj2).
arc(r_0032_0008__one, r_0032_0010__the_r_0032_0012__stories, r_0032_0009__of).
arc(r_0032_0010__the_r_0032_0012__stories, r_0032_0011__short, attrib33).
arc(r_0032_0014__have, r_0032_0015__read, scope).
arc(r_0032_0015__read, r_0032_0007__or, arg1).
arc(r_0032_0015__read, r_0032_0013__you, arg0).


%3 r_0032_0014__have_r_0032_0015__read have read r_0032_0013__you you r_0032_0014__have_r_0032_0015__read->r_0032_0013__you [arg0] r_0032_0007__or or r_0032_0014__have_r_0032_0015__read->r_0032_0007__or [arg1] r_0032_0008__one one r_0032_0007__or->r_0032_0008__one [conj2] r_0032_0005__the_r_0032_0006__book the book r_0032_0007__or->r_0032_0005__the_r_0032_0006__book [conj1] r_0032_0010__the_r_0032_0012__stories the stories r_0032_0011__short short r_0032_0010__the_r_0032_0012__stories->r_0032_0011__short [attrib] r_0032_0008__one->r_0032_0010__the_r_0032_0012__stories of r_0032_0003__true true r_0032_0003__true->r_0032_0007__or of r_0032_0001__Is Is r_0032_0001__Is->r_0032_0003__true [prd] r_0032_0002__this this r_0032_0001__Is->r_0032_0002__this [arg0] 
fof(formula,axiom,
    ? [R_32_1_IS,R_32_2_THIS,R_32_3_TRUE,R_32_14_HAVE_READ,R_32_13_YOU,R_32_7_OR,R_32_5_THE_BOOK,R_32_8_ONE,R_32_10_THE_STORIES,R_32_11_SHORT] :
      ( this(R_32_2_THIS)
      & you(R_32_13_YOU)
      & the_book(R_32_5_THE_BOOK)
      & short(R_32_11_SHORT)
      & is(R_32_1_IS,R_32_2_THIS,R_32_3_TRUE)
      & true(R_32_3_TRUE)
      & of(R_32_3_TRUE,R_32_7_OR)
      & or(R_32_7_OR)
      & conj1(R_32_7_OR,R_32_5_THE_BOOK)
      & conj2(R_32_7_OR,R_32_8_ONE)
      & one(R_32_8_ONE)
      & of(R_32_8_ONE,R_32_10_THE_STORIES)
      & the_stories(R_32_10_THE_STORIES)
      & attrib33(R_32_10_THE_STORIES,R_32_11_SHORT)
      & have_read(R_32_14_HAVE_READ,R_32_13_YOU,R_32_7_OR) ) ).


n32_a_fce_0102_2000_06 n32_a_fce_0102_2000_06__1_1_1_1 Is n32_a_fce_0102_2000_06__1_1_2_1_1 this n32_a_fce_0102_2000_06__1_1_3_1_1 true n32_a_fce_0102_2000_06__1_1_3_2_1_1 of n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_1_1 the n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_2_1 book n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_1_1 or n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_1_1 one n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_1_1 of n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_1_1 the n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2_1_1 short n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_3_1 stories n32_a_fce_0102_2000_06__1_1_3_2_2_2_1_1_1 you n32_a_fce_0102_2000_06__1_1_3_2_2_2_2_1 have n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_1_1 *T* n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_2_1 read n32_a_fce_0102_2000_06__1_2_1 ? n32_a_fce_0102_2000_06__1 CP-QUE-MAT n32_a_fce_0102_2000_06__1_1 IP-SUB n32_a_fce_0102_2000_06__1->n32_a_fce_0102_2000_06__1_1 n32_a_fce_0102_2000_06__1_2 PUNC n32_a_fce_0102_2000_06__1->n32_a_fce_0102_2000_06__1_2 n32_a_fce_0102_2000_06__1_1_1 BEP;_La_ n32_a_fce_0102_2000_06__1_1->n32_a_fce_0102_2000_06__1_1_1 n32_a_fce_0102_2000_06__1_1_2 NP-SBJ n32_a_fce_0102_2000_06__1_1->n32_a_fce_0102_2000_06__1_1_2 n32_a_fce_0102_2000_06__1_1_3 ADJP-PRD n32_a_fce_0102_2000_06__1_1->n32_a_fce_0102_2000_06__1_1_3 n32_a_fce_0102_2000_06__1_1_1->n32_a_fce_0102_2000_06__1_1_1_1 n32_a_fce_0102_2000_06__1_1_2_1 D;_nphd_ n32_a_fce_0102_2000_06__1_1_2->n32_a_fce_0102_2000_06__1_1_2_1 n32_a_fce_0102_2000_06__1_1_2_1->n32_a_fce_0102_2000_06__1_1_2_1_1 n32_a_fce_0102_2000_06__1_1_3_1 ADJ n32_a_fce_0102_2000_06__1_1_3->n32_a_fce_0102_2000_06__1_1_3_1 n32_a_fce_0102_2000_06__1_1_3_2 PP n32_a_fce_0102_2000_06__1_1_3->n32_a_fce_0102_2000_06__1_1_3_2 n32_a_fce_0102_2000_06__1_1_3_1->n32_a_fce_0102_2000_06__1_1_3_1_1 n32_a_fce_0102_2000_06__1_1_3_2_1 P-ROLE n32_a_fce_0102_2000_06__1_1_3_2->n32_a_fce_0102_2000_06__1_1_3_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2 NP n32_a_fce_0102_2000_06__1_1_3_2->n32_a_fce_0102_2000_06__1_1_3_2_2 n32_a_fce_0102_2000_06__1_1_3_2_1->n32_a_fce_0102_2000_06__1_1_3_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1 NLYR n32_a_fce_0102_2000_06__1_1_3_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2 IP-REL n32_a_fce_0102_2000_06__1_1_3_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_1 NLYR n32_a_fce_0102_2000_06__1_1_3_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2 CONJP n32_a_fce_0102_2000_06__1_1_3_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_1 D n32_a_fce_0102_2000_06__1_1_3_2_2_1_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_2 N n32_a_fce_0102_2000_06__1_1_3_2_2_1_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_1_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_1 CONJ n32_a_fce_0102_2000_06__1_1_3_2_2_1_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2 NLYR n32_a_fce_0102_2000_06__1_1_3_2_2_1_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_1 NUM n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2 PP n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_1 P-ROLE n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2 NP n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_1 D n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2 ADJP n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_3 NS n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_3 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2_1 ADJ n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_3->n32_a_fce_0102_2000_06__1_1_3_2_2_1_2_2_2_2_3_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_1 NP-SBJ n32_a_fce_0102_2000_06__1_1_3_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_2 HVP;_cat_Ve_ n32_a_fce_0102_2000_06__1_1_3_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_2_2 n32_a_fce_0102_2000_06__1_1_3_2_2_2_3 IP-PPL-CAT n32_a_fce_0102_2000_06__1_1_3_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_2_3 n32_a_fce_0102_2000_06__1_1_3_2_2_2_1_1 PRO n32_a_fce_0102_2000_06__1_1_3_2_2_2_1->n32_a_fce_0102_2000_06__1_1_3_2_2_2_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_1_1->n32_a_fce_0102_2000_06__1_1_3_2_2_2_1_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_2->n32_a_fce_0102_2000_06__1_1_3_2_2_2_2_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_1 NP-OB1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_3->n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_2 VVN;_Tn_ n32_a_fce_0102_2000_06__1_1_3_2_2_2_3->n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_2 n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_1->n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_1_1 n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_2->n32_a_fce_0102_2000_06__1_1_3_2_2_2_3_2_1 n32_a_fce_0102_2000_06__1_2->n32_a_fce_0102_2000_06__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ (D;_nphd_ this;{this}))
                      (ADJP-PRD (ADJ true;{true})
                                (PP (P-ROLE of;{of})
                                    (NP (NLYR (NLYR (D the;{the})
                                                    (N book;{book}))
                                              (CONJP (CONJ or;{or})
                                                     (NLYR (NUM one;{one})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (D the;{the})
                                                                   (ADJP (ADJ short;{short}))
                                                                   (NS stories;{story}))))))
                                        (IP-REL (NP-SBJ (PRO you;{you}))
                                                (HVP;_cat_Ve_ have;{have})
                                                (IP-PPL-CAT (NP-OB1 *T*)
                                                            (VVN;_Tn_ read;{read})))))))
              (PUNC ?))
  (ID 32_a_fce_0102_2000_06))