38_a_fce_0102_2001_06
Is this true of the book or one of the short stories you have read?
( (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))
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,attrib).
arc(r_0038_0014__have,r_0038_0015__read,scope).
arc(r_0038_0015__read,r_0038_0007__or,inv_arg1).
arc(r_0038_0015__read,r_0038_0013__you,arg0).
fof(formula,axiom,
? [R_0038_0002__THIS,R_0038_0005__THE_R_0038_0006__BOOK,R_0038_0011__SHORT,R_0038_0010__THE_R_0038_0012__STORIES,R_0038_0008__ONE,R_0038_0013__YOU,R_0038_0014__HAVE_R_0038_0015__READ,R_0038_0007__OR,R_0038_0003__TRUE,R_0038_0001__IS] :
( r_0038_0002__this(R_0038_0002__THIS)
& r_0038_0005__the_r_0038_0006__book(R_0038_0005__THE_R_0038_0006__BOOK)
& r_0038_0011__short(R_0038_0011__SHORT)
& r_0038_0013__you(R_0038_0013__YOU)
& r_0038_0001__Is(R_0038_0001__IS)
& has_prd(R_0038_0001__IS,R_0038_0003__TRUE)
& r_0038_0003__true(R_0038_0003__TRUE)
& has_r_0038_0004__of(R_0038_0003__TRUE,R_0038_0007__OR)
& r_0038_0007__or(R_0038_0007__OR)
& has_inv_arg1(R_0038_0007__OR,R_0038_0014__HAVE_R_0038_0015__READ)
& r_0038_0014__have_r_0038_0015__read(R_0038_0014__HAVE_R_0038_0015__READ)
& has_arg0(R_0038_0014__HAVE_R_0038_0015__READ,R_0038_0013__YOU)
& has_conj2(R_0038_0007__OR,R_0038_0008__ONE)
& r_0038_0008__one(R_0038_0008__ONE)
& has_r_0038_0009__of(R_0038_0008__ONE,R_0038_0010__THE_R_0038_0012__STORIES)
& r_0038_0010__the_r_0038_0012__stories(R_0038_0010__THE_R_0038_0012__STORIES)
& has_attrib(R_0038_0010__THE_R_0038_0012__STORIES,R_0038_0011__SHORT)
& has_conj1(R_0038_0007__OR,R_0038_0005__THE_R_0038_0006__BOOK)
& has_arg0(R_0038_0001__IS,R_0038_0002__THIS) ) ).