Context                Previous, Next                Top


39_a_fce_0100_2001_06
Is this true of the book or one of the short stories which you have read?

%3 r_0039_0001__Is Is r_0039_0002__this this r_0039_0001__Is->r_0039_0002__this [arg0] r_0039_0003__true true r_0039_0001__Is->r_0039_0003__true [prd] r_0039_0007__or or r_0039_0003__true->r_0039_0007__or of r_0039_0005__the_r_0039_0006__book the book r_0039_0007__or->r_0039_0005__the_r_0039_0006__book [conj1] r_0039_0008__one one r_0039_0007__or->r_0039_0008__one [conj2] r_0039_0010__the_r_0039_0012__stories the stories r_0039_0008__one->r_0039_0010__the_r_0039_0012__stories of r_0039_0011__short short r_0039_0010__the_r_0039_0012__stories->r_0039_0011__short [attrib] r_0039_0015__have have r_0039_0016__read read r_0039_0015__have->r_0039_0016__read [scope] r_0039_0016__read->r_0039_0007__or [arg1] r_0039_0014__you you r_0039_0016__read->r_0039_0014__you [arg0] 
arc(r_0039_0001__Is, r_0039_0002__this, arg0).
arc(r_0039_0001__Is, r_0039_0003__true, prd).
arc(r_0039_0003__true, r_0039_0007__or, r_0039_0004__of).
arc(r_0039_0007__or, r_0039_0005__the_r_0039_0006__book, conj1).
arc(r_0039_0007__or, r_0039_0008__one, conj2).
arc(r_0039_0008__one, r_0039_0010__the_r_0039_0012__stories, r_0039_0009__of).
arc(r_0039_0010__the_r_0039_0012__stories, r_0039_0011__short, attrib33).
arc(r_0039_0015__have, r_0039_0016__read, scope).
arc(r_0039_0016__read, r_0039_0007__or, arg1).
arc(r_0039_0016__read, r_0039_0014__you, arg0).


%3 r_0039_0015__have_r_0039_0016__read have read r_0039_0014__you you r_0039_0015__have_r_0039_0016__read->r_0039_0014__you [arg0] r_0039_0007__or or r_0039_0015__have_r_0039_0016__read->r_0039_0007__or [arg1] r_0039_0008__one one r_0039_0007__or->r_0039_0008__one [conj2] r_0039_0005__the_r_0039_0006__book the book r_0039_0007__or->r_0039_0005__the_r_0039_0006__book [conj1] r_0039_0010__the_r_0039_0012__stories the stories r_0039_0011__short short r_0039_0010__the_r_0039_0012__stories->r_0039_0011__short [attrib] r_0039_0008__one->r_0039_0010__the_r_0039_0012__stories of r_0039_0003__true true r_0039_0003__true->r_0039_0007__or of r_0039_0001__Is Is r_0039_0001__Is->r_0039_0003__true [prd] r_0039_0002__this this r_0039_0001__Is->r_0039_0002__this [arg0] 
fof(formula,axiom,
    ? [R_39_1_IS,R_39_2_THIS,R_39_3_TRUE,R_39_15_HAVE_READ,R_39_14_YOU,R_39_7_OR,R_39_5_THE_BOOK,R_39_8_ONE,R_39_10_THE_STORIES,R_39_11_SHORT] :
      ( this(R_39_2_THIS)
      & you(R_39_14_YOU)
      & the_book(R_39_5_THE_BOOK)
      & short(R_39_11_SHORT)
      & is(R_39_1_IS,R_39_2_THIS,R_39_3_TRUE)
      & true(R_39_3_TRUE)
      & of(R_39_3_TRUE,R_39_7_OR)
      & or(R_39_7_OR)
      & conj1(R_39_7_OR,R_39_5_THE_BOOK)
      & conj2(R_39_7_OR,R_39_8_ONE)
      & one(R_39_8_ONE)
      & of(R_39_8_ONE,R_39_10_THE_STORIES)
      & the_stories(R_39_10_THE_STORIES)
      & attrib33(R_39_10_THE_STORIES,R_39_11_SHORT)
      & have_read(R_39_15_HAVE_READ,R_39_14_YOU,R_39_7_OR) ) ).


n39_a_fce_0100_2001_06 n39_a_fce_0100_2001_06__1_1_1_1 Is n39_a_fce_0100_2001_06__1_1_2_1_1 this n39_a_fce_0100_2001_06__1_1_3_1_1 true n39_a_fce_0100_2001_06__1_1_3_2_1_1 of n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_1_1 the n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_2_1 book n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_1_1 or n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_1_1 one n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_1_1 of n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_1_1 the n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2_1_1 short n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_3_1 stories n39_a_fce_0100_2001_06__1_1_3_2_2_2_1_1_1 which n39_a_fce_0100_2001_06__1_1_3_2_2_2_2_1_1 you n39_a_fce_0100_2001_06__1_1_3_2_2_2_3_1 have n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_1_1 *ICH*-155 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_2_1 read n39_a_fce_0100_2001_06__1_2_1 ? n39_a_fce_0100_2001_06__1 CP-QUE-MAT n39_a_fce_0100_2001_06__1_1 IP-SUB n39_a_fce_0100_2001_06__1->n39_a_fce_0100_2001_06__1_1 n39_a_fce_0100_2001_06__1_2 PUNC n39_a_fce_0100_2001_06__1->n39_a_fce_0100_2001_06__1_2 n39_a_fce_0100_2001_06__1_1_1 BEP;_La_ n39_a_fce_0100_2001_06__1_1->n39_a_fce_0100_2001_06__1_1_1 n39_a_fce_0100_2001_06__1_1_2 NP-SBJ n39_a_fce_0100_2001_06__1_1->n39_a_fce_0100_2001_06__1_1_2 n39_a_fce_0100_2001_06__1_1_3 ADJP-PRD n39_a_fce_0100_2001_06__1_1->n39_a_fce_0100_2001_06__1_1_3 n39_a_fce_0100_2001_06__1_1_1->n39_a_fce_0100_2001_06__1_1_1_1 n39_a_fce_0100_2001_06__1_1_2_1 D;_nphd_ n39_a_fce_0100_2001_06__1_1_2->n39_a_fce_0100_2001_06__1_1_2_1 n39_a_fce_0100_2001_06__1_1_2_1->n39_a_fce_0100_2001_06__1_1_2_1_1 n39_a_fce_0100_2001_06__1_1_3_1 ADJ n39_a_fce_0100_2001_06__1_1_3->n39_a_fce_0100_2001_06__1_1_3_1 n39_a_fce_0100_2001_06__1_1_3_2 PP n39_a_fce_0100_2001_06__1_1_3->n39_a_fce_0100_2001_06__1_1_3_2 n39_a_fce_0100_2001_06__1_1_3_1->n39_a_fce_0100_2001_06__1_1_3_1_1 n39_a_fce_0100_2001_06__1_1_3_2_1 P-ROLE n39_a_fce_0100_2001_06__1_1_3_2->n39_a_fce_0100_2001_06__1_1_3_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2 NP n39_a_fce_0100_2001_06__1_1_3_2->n39_a_fce_0100_2001_06__1_1_3_2_2 n39_a_fce_0100_2001_06__1_1_3_2_1->n39_a_fce_0100_2001_06__1_1_3_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1 NLYR n39_a_fce_0100_2001_06__1_1_3_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2 IP-REL n39_a_fce_0100_2001_06__1_1_3_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_1 NLYR n39_a_fce_0100_2001_06__1_1_3_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2 CONJP n39_a_fce_0100_2001_06__1_1_3_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_1 D n39_a_fce_0100_2001_06__1_1_3_2_2_1_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_2 N n39_a_fce_0100_2001_06__1_1_3_2_2_1_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_1_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_1 CONJ n39_a_fce_0100_2001_06__1_1_3_2_2_1_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2 NLYR n39_a_fce_0100_2001_06__1_1_3_2_2_1_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_1 NUM n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2 PP n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_1 P-ROLE n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2 NP n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_1 D n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2 ADJP n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_3 NS n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_3 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2_1 ADJ n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_3->n39_a_fce_0100_2001_06__1_1_3_2_2_1_2_2_2_2_3_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_1 NP-155 n39_a_fce_0100_2001_06__1_1_3_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_2 NP-SBJ n39_a_fce_0100_2001_06__1_1_3_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2_2 n39_a_fce_0100_2001_06__1_1_3_2_2_2_3 HVP;_cat_Ve_ n39_a_fce_0100_2001_06__1_1_3_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2_3 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4 IP-PPL-CAT n39_a_fce_0100_2001_06__1_1_3_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2_4 n39_a_fce_0100_2001_06__1_1_3_2_2_2_1_1 RPRO n39_a_fce_0100_2001_06__1_1_3_2_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_1_1->n39_a_fce_0100_2001_06__1_1_3_2_2_2_1_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_2_1 PRO n39_a_fce_0100_2001_06__1_1_3_2_2_2_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2_2_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_2_1->n39_a_fce_0100_2001_06__1_1_3_2_2_2_2_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_3->n39_a_fce_0100_2001_06__1_1_3_2_2_2_3_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_1 NP-OB1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4->n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_2 VVN;_Tn_ n39_a_fce_0100_2001_06__1_1_3_2_2_2_4->n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_2 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_1->n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_1_1 n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_2->n39_a_fce_0100_2001_06__1_1_3_2_2_2_4_2_1 n39_a_fce_0100_2001_06__1_2->n39_a_fce_0100_2001_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-155 (RPRO which;{which}))
                                                (NP-SBJ (PRO you;{you}))
                                                (HVP;_cat_Ve_ have;{have})
                                                (IP-PPL-CAT (NP-OB1 *ICH*-155)
                                                            (VVN;_Tn_ read;{read})))))))
              (PUNC ?))
  (ID 39_a_fce_0100_2001_06))