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_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_r_0032_0015__read have read r_0032_0014__have_r_0032_0015__read->r_0032_0007__or [arg1] r_0032_0013__you you r_0032_0014__have_r_0032_0015__read->r_0032_0013__you [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_4 Is n32_a_fce_0102_2000_06_7 this n32_a_fce_0102_2000_06_10 true n32_a_fce_0102_2000_06_13 of n32_a_fce_0102_2000_06_18 the n32_a_fce_0102_2000_06_20 book n32_a_fce_0102_2000_06_23 or n32_a_fce_0102_2000_06_26 one n32_a_fce_0102_2000_06_29 of n32_a_fce_0102_2000_06_32 the n32_a_fce_0102_2000_06_35 short n32_a_fce_0102_2000_06_37 stories n32_a_fce_0102_2000_06_41 you n32_a_fce_0102_2000_06_43 have n32_a_fce_0102_2000_06_46 *T* n32_a_fce_0102_2000_06_48 read n32_a_fce_0102_2000_06_50 ? n32_a_fce_0102_2000_06_1 CP-QUE-MAT n32_a_fce_0102_2000_06_2 IP-SUB n32_a_fce_0102_2000_06_1->n32_a_fce_0102_2000_06_2 n32_a_fce_0102_2000_06_49 PUNC n32_a_fce_0102_2000_06_1->n32_a_fce_0102_2000_06_49 n32_a_fce_0102_2000_06_3 BEP;_La_ n32_a_fce_0102_2000_06_2->n32_a_fce_0102_2000_06_3 n32_a_fce_0102_2000_06_5 NP-SBJ n32_a_fce_0102_2000_06_2->n32_a_fce_0102_2000_06_5 n32_a_fce_0102_2000_06_8 ADJP-PRD n32_a_fce_0102_2000_06_2->n32_a_fce_0102_2000_06_8 n32_a_fce_0102_2000_06_3->n32_a_fce_0102_2000_06_4 n32_a_fce_0102_2000_06_6 D;_nphd_ n32_a_fce_0102_2000_06_5->n32_a_fce_0102_2000_06_6 n32_a_fce_0102_2000_06_6->n32_a_fce_0102_2000_06_7 n32_a_fce_0102_2000_06_9 ADJ n32_a_fce_0102_2000_06_8->n32_a_fce_0102_2000_06_9 n32_a_fce_0102_2000_06_11 PP n32_a_fce_0102_2000_06_8->n32_a_fce_0102_2000_06_11 n32_a_fce_0102_2000_06_9->n32_a_fce_0102_2000_06_10 n32_a_fce_0102_2000_06_12 P-ROLE n32_a_fce_0102_2000_06_11->n32_a_fce_0102_2000_06_12 n32_a_fce_0102_2000_06_14 NP n32_a_fce_0102_2000_06_11->n32_a_fce_0102_2000_06_14 n32_a_fce_0102_2000_06_12->n32_a_fce_0102_2000_06_13 n32_a_fce_0102_2000_06_15 NLYR n32_a_fce_0102_2000_06_14->n32_a_fce_0102_2000_06_15 n32_a_fce_0102_2000_06_38 IP-REL n32_a_fce_0102_2000_06_14->n32_a_fce_0102_2000_06_38 n32_a_fce_0102_2000_06_16 NLYR n32_a_fce_0102_2000_06_15->n32_a_fce_0102_2000_06_16 n32_a_fce_0102_2000_06_21 CONJP n32_a_fce_0102_2000_06_15->n32_a_fce_0102_2000_06_21 n32_a_fce_0102_2000_06_17 D n32_a_fce_0102_2000_06_16->n32_a_fce_0102_2000_06_17 n32_a_fce_0102_2000_06_19 N n32_a_fce_0102_2000_06_16->n32_a_fce_0102_2000_06_19 n32_a_fce_0102_2000_06_17->n32_a_fce_0102_2000_06_18 n32_a_fce_0102_2000_06_19->n32_a_fce_0102_2000_06_20 n32_a_fce_0102_2000_06_22 CONJ n32_a_fce_0102_2000_06_21->n32_a_fce_0102_2000_06_22 n32_a_fce_0102_2000_06_24 NLYR n32_a_fce_0102_2000_06_21->n32_a_fce_0102_2000_06_24 n32_a_fce_0102_2000_06_22->n32_a_fce_0102_2000_06_23 n32_a_fce_0102_2000_06_25 NUM n32_a_fce_0102_2000_06_24->n32_a_fce_0102_2000_06_25 n32_a_fce_0102_2000_06_27 PP n32_a_fce_0102_2000_06_24->n32_a_fce_0102_2000_06_27 n32_a_fce_0102_2000_06_25->n32_a_fce_0102_2000_06_26 n32_a_fce_0102_2000_06_28 P-ROLE n32_a_fce_0102_2000_06_27->n32_a_fce_0102_2000_06_28 n32_a_fce_0102_2000_06_30 NP n32_a_fce_0102_2000_06_27->n32_a_fce_0102_2000_06_30 n32_a_fce_0102_2000_06_28->n32_a_fce_0102_2000_06_29 n32_a_fce_0102_2000_06_31 D n32_a_fce_0102_2000_06_30->n32_a_fce_0102_2000_06_31 n32_a_fce_0102_2000_06_33 ADJP n32_a_fce_0102_2000_06_30->n32_a_fce_0102_2000_06_33 n32_a_fce_0102_2000_06_36 NS n32_a_fce_0102_2000_06_30->n32_a_fce_0102_2000_06_36 n32_a_fce_0102_2000_06_31->n32_a_fce_0102_2000_06_32 n32_a_fce_0102_2000_06_34 ADJ n32_a_fce_0102_2000_06_33->n32_a_fce_0102_2000_06_34 n32_a_fce_0102_2000_06_34->n32_a_fce_0102_2000_06_35 n32_a_fce_0102_2000_06_36->n32_a_fce_0102_2000_06_37 n32_a_fce_0102_2000_06_39 NP-SBJ n32_a_fce_0102_2000_06_38->n32_a_fce_0102_2000_06_39 n32_a_fce_0102_2000_06_42 HVP;_cat_Ve_ n32_a_fce_0102_2000_06_38->n32_a_fce_0102_2000_06_42 n32_a_fce_0102_2000_06_44 IP-PPL-CAT n32_a_fce_0102_2000_06_38->n32_a_fce_0102_2000_06_44 n32_a_fce_0102_2000_06_40 PRO n32_a_fce_0102_2000_06_39->n32_a_fce_0102_2000_06_40 n32_a_fce_0102_2000_06_40->n32_a_fce_0102_2000_06_41 n32_a_fce_0102_2000_06_42->n32_a_fce_0102_2000_06_43 n32_a_fce_0102_2000_06_45 NP-OB1 n32_a_fce_0102_2000_06_44->n32_a_fce_0102_2000_06_45 n32_a_fce_0102_2000_06_47 VVN;_Tn_ n32_a_fce_0102_2000_06_44->n32_a_fce_0102_2000_06_47 n32_a_fce_0102_2000_06_45->n32_a_fce_0102_2000_06_46 n32_a_fce_0102_2000_06_47->n32_a_fce_0102_2000_06_48 n32_a_fce_0102_2000_06_49->n32_a_fce_0102_2000_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 32_a_fce_0102_2000_06))