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_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_r_0039_0016__read have read r_0039_0015__have_r_0039_0016__read->r_0039_0007__or [arg1] r_0039_0014__you you r_0039_0015__have_r_0039_0016__read->r_0039_0014__you [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_4 Is n39_a_fce_0100_2001_06_7 this n39_a_fce_0100_2001_06_10 true n39_a_fce_0100_2001_06_13 of n39_a_fce_0100_2001_06_18 the n39_a_fce_0100_2001_06_20 book n39_a_fce_0100_2001_06_23 or n39_a_fce_0100_2001_06_26 one n39_a_fce_0100_2001_06_29 of n39_a_fce_0100_2001_06_32 the n39_a_fce_0100_2001_06_35 short n39_a_fce_0100_2001_06_37 stories n39_a_fce_0100_2001_06_41 which n39_a_fce_0100_2001_06_44 you n39_a_fce_0100_2001_06_46 have n39_a_fce_0100_2001_06_49 *ICH*-155 n39_a_fce_0100_2001_06_51 read n39_a_fce_0100_2001_06_53 ? n39_a_fce_0100_2001_06_1 CP-QUE-MAT n39_a_fce_0100_2001_06_2 IP-SUB n39_a_fce_0100_2001_06_1->n39_a_fce_0100_2001_06_2 n39_a_fce_0100_2001_06_52 PUNC n39_a_fce_0100_2001_06_1->n39_a_fce_0100_2001_06_52 n39_a_fce_0100_2001_06_3 BEP;_La_ n39_a_fce_0100_2001_06_2->n39_a_fce_0100_2001_06_3 n39_a_fce_0100_2001_06_5 NP-SBJ n39_a_fce_0100_2001_06_2->n39_a_fce_0100_2001_06_5 n39_a_fce_0100_2001_06_8 ADJP-PRD n39_a_fce_0100_2001_06_2->n39_a_fce_0100_2001_06_8 n39_a_fce_0100_2001_06_3->n39_a_fce_0100_2001_06_4 n39_a_fce_0100_2001_06_6 D;_nphd_ n39_a_fce_0100_2001_06_5->n39_a_fce_0100_2001_06_6 n39_a_fce_0100_2001_06_6->n39_a_fce_0100_2001_06_7 n39_a_fce_0100_2001_06_9 ADJ n39_a_fce_0100_2001_06_8->n39_a_fce_0100_2001_06_9 n39_a_fce_0100_2001_06_11 PP n39_a_fce_0100_2001_06_8->n39_a_fce_0100_2001_06_11 n39_a_fce_0100_2001_06_9->n39_a_fce_0100_2001_06_10 n39_a_fce_0100_2001_06_12 P-ROLE n39_a_fce_0100_2001_06_11->n39_a_fce_0100_2001_06_12 n39_a_fce_0100_2001_06_14 NP n39_a_fce_0100_2001_06_11->n39_a_fce_0100_2001_06_14 n39_a_fce_0100_2001_06_12->n39_a_fce_0100_2001_06_13 n39_a_fce_0100_2001_06_15 NLYR n39_a_fce_0100_2001_06_14->n39_a_fce_0100_2001_06_15 n39_a_fce_0100_2001_06_38 IP-REL n39_a_fce_0100_2001_06_14->n39_a_fce_0100_2001_06_38 n39_a_fce_0100_2001_06_16 NLYR n39_a_fce_0100_2001_06_15->n39_a_fce_0100_2001_06_16 n39_a_fce_0100_2001_06_21 CONJP n39_a_fce_0100_2001_06_15->n39_a_fce_0100_2001_06_21 n39_a_fce_0100_2001_06_17 D n39_a_fce_0100_2001_06_16->n39_a_fce_0100_2001_06_17 n39_a_fce_0100_2001_06_19 N n39_a_fce_0100_2001_06_16->n39_a_fce_0100_2001_06_19 n39_a_fce_0100_2001_06_17->n39_a_fce_0100_2001_06_18 n39_a_fce_0100_2001_06_19->n39_a_fce_0100_2001_06_20 n39_a_fce_0100_2001_06_22 CONJ n39_a_fce_0100_2001_06_21->n39_a_fce_0100_2001_06_22 n39_a_fce_0100_2001_06_24 NLYR n39_a_fce_0100_2001_06_21->n39_a_fce_0100_2001_06_24 n39_a_fce_0100_2001_06_22->n39_a_fce_0100_2001_06_23 n39_a_fce_0100_2001_06_25 NUM n39_a_fce_0100_2001_06_24->n39_a_fce_0100_2001_06_25 n39_a_fce_0100_2001_06_27 PP n39_a_fce_0100_2001_06_24->n39_a_fce_0100_2001_06_27 n39_a_fce_0100_2001_06_25->n39_a_fce_0100_2001_06_26 n39_a_fce_0100_2001_06_28 P-ROLE n39_a_fce_0100_2001_06_27->n39_a_fce_0100_2001_06_28 n39_a_fce_0100_2001_06_30 NP n39_a_fce_0100_2001_06_27->n39_a_fce_0100_2001_06_30 n39_a_fce_0100_2001_06_28->n39_a_fce_0100_2001_06_29 n39_a_fce_0100_2001_06_31 D n39_a_fce_0100_2001_06_30->n39_a_fce_0100_2001_06_31 n39_a_fce_0100_2001_06_33 ADJP n39_a_fce_0100_2001_06_30->n39_a_fce_0100_2001_06_33 n39_a_fce_0100_2001_06_36 NS n39_a_fce_0100_2001_06_30->n39_a_fce_0100_2001_06_36 n39_a_fce_0100_2001_06_31->n39_a_fce_0100_2001_06_32 n39_a_fce_0100_2001_06_34 ADJ n39_a_fce_0100_2001_06_33->n39_a_fce_0100_2001_06_34 n39_a_fce_0100_2001_06_34->n39_a_fce_0100_2001_06_35 n39_a_fce_0100_2001_06_36->n39_a_fce_0100_2001_06_37 n39_a_fce_0100_2001_06_39 NP-155 n39_a_fce_0100_2001_06_38->n39_a_fce_0100_2001_06_39 n39_a_fce_0100_2001_06_42 NP-SBJ n39_a_fce_0100_2001_06_38->n39_a_fce_0100_2001_06_42 n39_a_fce_0100_2001_06_45 HVP;_cat_Ve_ n39_a_fce_0100_2001_06_38->n39_a_fce_0100_2001_06_45 n39_a_fce_0100_2001_06_47 IP-PPL-CAT n39_a_fce_0100_2001_06_38->n39_a_fce_0100_2001_06_47 n39_a_fce_0100_2001_06_40 RPRO n39_a_fce_0100_2001_06_39->n39_a_fce_0100_2001_06_40 n39_a_fce_0100_2001_06_40->n39_a_fce_0100_2001_06_41 n39_a_fce_0100_2001_06_43 PRO n39_a_fce_0100_2001_06_42->n39_a_fce_0100_2001_06_43 n39_a_fce_0100_2001_06_43->n39_a_fce_0100_2001_06_44 n39_a_fce_0100_2001_06_45->n39_a_fce_0100_2001_06_46 n39_a_fce_0100_2001_06_48 NP-OB1 n39_a_fce_0100_2001_06_47->n39_a_fce_0100_2001_06_48 n39_a_fce_0100_2001_06_50 VVN;_Tn_ n39_a_fce_0100_2001_06_47->n39_a_fce_0100_2001_06_50 n39_a_fce_0100_2001_06_48->n39_a_fce_0100_2001_06_49 n39_a_fce_0100_2001_06_50->n39_a_fce_0100_2001_06_51 n39_a_fce_0100_2001_06_52->n39_a_fce_0100_2001_06_53 
( (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))