Context                Previous, Next                Top


38_a_fce_0102_2001_06
Is this true of the book or one of the short stories you have read?

%3 r_0038_0001__Is Is r_0038_0002__this this r_0038_0001__Is->r_0038_0002__this [arg0] r_0038_0003__true true r_0038_0001__Is->r_0038_0003__true [prd] r_0038_0007__or or r_0038_0003__true->r_0038_0007__or of r_0038_0005__the_r_0038_0006__book the book r_0038_0007__or->r_0038_0005__the_r_0038_0006__book [conj1] r_0038_0008__one one r_0038_0007__or->r_0038_0008__one [conj2] r_0038_0010__the_r_0038_0012__stories the stories r_0038_0008__one->r_0038_0010__the_r_0038_0012__stories of r_0038_0011__short short r_0038_0010__the_r_0038_0012__stories->r_0038_0011__short [attrib] r_0038_0014__have have r_0038_0015__read read r_0038_0014__have->r_0038_0015__read [scope] r_0038_0015__read->r_0038_0007__or [arg1] r_0038_0013__you you r_0038_0015__read->r_0038_0013__you [arg0] 
arc(r_0038_0001__Is, r_0038_0002__this, arg0).
arc(r_0038_0001__Is, r_0038_0003__true, prd).
arc(r_0038_0003__true, r_0038_0007__or, r_0038_0004__of).
arc(r_0038_0007__or, r_0038_0005__the_r_0038_0006__book, conj1).
arc(r_0038_0007__or, r_0038_0008__one, conj2).
arc(r_0038_0008__one, r_0038_0010__the_r_0038_0012__stories, r_0038_0009__of).
arc(r_0038_0010__the_r_0038_0012__stories, r_0038_0011__short, attrib33).
arc(r_0038_0014__have, r_0038_0015__read, scope).
arc(r_0038_0015__read, r_0038_0007__or, arg1).
arc(r_0038_0015__read, r_0038_0013__you, arg0).


%3 r_0038_0001__Is Is r_0038_0002__this this r_0038_0001__Is->r_0038_0002__this [arg0] r_0038_0003__true true r_0038_0001__Is->r_0038_0003__true [prd] r_0038_0007__or or r_0038_0003__true->r_0038_0007__or of r_0038_0005__the_r_0038_0006__book the book r_0038_0007__or->r_0038_0005__the_r_0038_0006__book [conj1] r_0038_0008__one one r_0038_0007__or->r_0038_0008__one [conj2] r_0038_0010__the_r_0038_0012__stories the stories r_0038_0008__one->r_0038_0010__the_r_0038_0012__stories of r_0038_0011__short short r_0038_0010__the_r_0038_0012__stories->r_0038_0011__short [attrib] r_0038_0014__have_r_0038_0015__read have read r_0038_0014__have_r_0038_0015__read->r_0038_0007__or [arg1] r_0038_0013__you you r_0038_0014__have_r_0038_0015__read->r_0038_0013__you [arg0] 
fof(formula,axiom,
    ? [R_38_1_IS,R_38_2_THIS,R_38_3_TRUE,R_38_14_HAVE_READ,R_38_13_YOU,R_38_7_OR,R_38_5_THE_BOOK,R_38_8_ONE,R_38_10_THE_STORIES,R_38_11_SHORT] :
      ( this(R_38_2_THIS)
      & you(R_38_13_YOU)
      & the_book(R_38_5_THE_BOOK)
      & short(R_38_11_SHORT)
      & is(R_38_1_IS,R_38_2_THIS,R_38_3_TRUE)
      & true(R_38_3_TRUE)
      & of(R_38_3_TRUE,R_38_7_OR)
      & or(R_38_7_OR)
      & conj1(R_38_7_OR,R_38_5_THE_BOOK)
      & conj2(R_38_7_OR,R_38_8_ONE)
      & one(R_38_8_ONE)
      & of(R_38_8_ONE,R_38_10_THE_STORIES)
      & the_stories(R_38_10_THE_STORIES)
      & attrib33(R_38_10_THE_STORIES,R_38_11_SHORT)
      & have_read(R_38_14_HAVE_READ,R_38_13_YOU,R_38_7_OR) ) ).


n38_a_fce_0102_2001_06 n38_a_fce_0102_2001_06_4 Is n38_a_fce_0102_2001_06_7 this n38_a_fce_0102_2001_06_10 true n38_a_fce_0102_2001_06_13 of n38_a_fce_0102_2001_06_18 the n38_a_fce_0102_2001_06_20 book n38_a_fce_0102_2001_06_23 or n38_a_fce_0102_2001_06_26 one n38_a_fce_0102_2001_06_29 of n38_a_fce_0102_2001_06_32 the n38_a_fce_0102_2001_06_35 short n38_a_fce_0102_2001_06_37 stories n38_a_fce_0102_2001_06_41 you n38_a_fce_0102_2001_06_43 have n38_a_fce_0102_2001_06_46 *T* n38_a_fce_0102_2001_06_48 read n38_a_fce_0102_2001_06_50 ? n38_a_fce_0102_2001_06_1 CP-QUE-MAT n38_a_fce_0102_2001_06_2 IP-SUB n38_a_fce_0102_2001_06_1->n38_a_fce_0102_2001_06_2 n38_a_fce_0102_2001_06_49 PUNC n38_a_fce_0102_2001_06_1->n38_a_fce_0102_2001_06_49 n38_a_fce_0102_2001_06_3 BEP;_La_ n38_a_fce_0102_2001_06_2->n38_a_fce_0102_2001_06_3 n38_a_fce_0102_2001_06_5 NP-SBJ n38_a_fce_0102_2001_06_2->n38_a_fce_0102_2001_06_5 n38_a_fce_0102_2001_06_8 ADJP-PRD n38_a_fce_0102_2001_06_2->n38_a_fce_0102_2001_06_8 n38_a_fce_0102_2001_06_3->n38_a_fce_0102_2001_06_4 n38_a_fce_0102_2001_06_6 D;_nphd_ n38_a_fce_0102_2001_06_5->n38_a_fce_0102_2001_06_6 n38_a_fce_0102_2001_06_6->n38_a_fce_0102_2001_06_7 n38_a_fce_0102_2001_06_9 ADJ n38_a_fce_0102_2001_06_8->n38_a_fce_0102_2001_06_9 n38_a_fce_0102_2001_06_11 PP n38_a_fce_0102_2001_06_8->n38_a_fce_0102_2001_06_11 n38_a_fce_0102_2001_06_9->n38_a_fce_0102_2001_06_10 n38_a_fce_0102_2001_06_12 P-ROLE n38_a_fce_0102_2001_06_11->n38_a_fce_0102_2001_06_12 n38_a_fce_0102_2001_06_14 NP n38_a_fce_0102_2001_06_11->n38_a_fce_0102_2001_06_14 n38_a_fce_0102_2001_06_12->n38_a_fce_0102_2001_06_13 n38_a_fce_0102_2001_06_15 NLYR n38_a_fce_0102_2001_06_14->n38_a_fce_0102_2001_06_15 n38_a_fce_0102_2001_06_38 IP-REL n38_a_fce_0102_2001_06_14->n38_a_fce_0102_2001_06_38 n38_a_fce_0102_2001_06_16 NLYR n38_a_fce_0102_2001_06_15->n38_a_fce_0102_2001_06_16 n38_a_fce_0102_2001_06_21 CONJP n38_a_fce_0102_2001_06_15->n38_a_fce_0102_2001_06_21 n38_a_fce_0102_2001_06_17 D n38_a_fce_0102_2001_06_16->n38_a_fce_0102_2001_06_17 n38_a_fce_0102_2001_06_19 N n38_a_fce_0102_2001_06_16->n38_a_fce_0102_2001_06_19 n38_a_fce_0102_2001_06_17->n38_a_fce_0102_2001_06_18 n38_a_fce_0102_2001_06_19->n38_a_fce_0102_2001_06_20 n38_a_fce_0102_2001_06_22 CONJ n38_a_fce_0102_2001_06_21->n38_a_fce_0102_2001_06_22 n38_a_fce_0102_2001_06_24 NLYR n38_a_fce_0102_2001_06_21->n38_a_fce_0102_2001_06_24 n38_a_fce_0102_2001_06_22->n38_a_fce_0102_2001_06_23 n38_a_fce_0102_2001_06_25 NUM n38_a_fce_0102_2001_06_24->n38_a_fce_0102_2001_06_25 n38_a_fce_0102_2001_06_27 PP n38_a_fce_0102_2001_06_24->n38_a_fce_0102_2001_06_27 n38_a_fce_0102_2001_06_25->n38_a_fce_0102_2001_06_26 n38_a_fce_0102_2001_06_28 P-ROLE n38_a_fce_0102_2001_06_27->n38_a_fce_0102_2001_06_28 n38_a_fce_0102_2001_06_30 NP n38_a_fce_0102_2001_06_27->n38_a_fce_0102_2001_06_30 n38_a_fce_0102_2001_06_28->n38_a_fce_0102_2001_06_29 n38_a_fce_0102_2001_06_31 D n38_a_fce_0102_2001_06_30->n38_a_fce_0102_2001_06_31 n38_a_fce_0102_2001_06_33 ADJP n38_a_fce_0102_2001_06_30->n38_a_fce_0102_2001_06_33 n38_a_fce_0102_2001_06_36 NS n38_a_fce_0102_2001_06_30->n38_a_fce_0102_2001_06_36 n38_a_fce_0102_2001_06_31->n38_a_fce_0102_2001_06_32 n38_a_fce_0102_2001_06_34 ADJ n38_a_fce_0102_2001_06_33->n38_a_fce_0102_2001_06_34 n38_a_fce_0102_2001_06_34->n38_a_fce_0102_2001_06_35 n38_a_fce_0102_2001_06_36->n38_a_fce_0102_2001_06_37 n38_a_fce_0102_2001_06_39 NP-SBJ n38_a_fce_0102_2001_06_38->n38_a_fce_0102_2001_06_39 n38_a_fce_0102_2001_06_42 HVP;_cat_Ve_ n38_a_fce_0102_2001_06_38->n38_a_fce_0102_2001_06_42 n38_a_fce_0102_2001_06_44 IP-PPL-CAT n38_a_fce_0102_2001_06_38->n38_a_fce_0102_2001_06_44 n38_a_fce_0102_2001_06_40 PRO n38_a_fce_0102_2001_06_39->n38_a_fce_0102_2001_06_40 n38_a_fce_0102_2001_06_40->n38_a_fce_0102_2001_06_41 n38_a_fce_0102_2001_06_42->n38_a_fce_0102_2001_06_43 n38_a_fce_0102_2001_06_45 NP-OB1 n38_a_fce_0102_2001_06_44->n38_a_fce_0102_2001_06_45 n38_a_fce_0102_2001_06_47 VVN;_Tn_ n38_a_fce_0102_2001_06_44->n38_a_fce_0102_2001_06_47 n38_a_fce_0102_2001_06_45->n38_a_fce_0102_2001_06_46 n38_a_fce_0102_2001_06_47->n38_a_fce_0102_2001_06_48 n38_a_fce_0102_2001_06_49->n38_a_fce_0102_2001_06_50 
( (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 38_a_fce_0102_2001_06))