( (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))

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,attrib).
arc(r_0032_0014__have,r_0032_0015__read,scope).
arc(r_0032_0015__read,r_0032_0007__or,inv_arg1).
arc(r_0032_0015__read,r_0032_0013__you,arg0).

fof(formula,axiom,
    ? [R_0032_0002__THIS,R_0032_0005__THE_R_0032_0006__BOOK,R_0032_0011__SHORT,R_0032_0010__THE_R_0032_0012__STORIES,R_0032_0008__ONE,R_0032_0013__YOU,R_0032_0014__HAVE_R_0032_0015__READ,R_0032_0007__OR,R_0032_0003__TRUE,R_0032_0001__IS] :
      ( r_0032_0002__this(R_0032_0002__THIS)
      & r_0032_0005__the_r_0032_0006__book(R_0032_0005__THE_R_0032_0006__BOOK)
      & r_0032_0011__short(R_0032_0011__SHORT)
      & r_0032_0013__you(R_0032_0013__YOU)
      & r_0032_0001__Is(R_0032_0001__IS)
      & has_prd(R_0032_0001__IS,R_0032_0003__TRUE)
      & r_0032_0003__true(R_0032_0003__TRUE)
      & has_r_0032_0004__of(R_0032_0003__TRUE,R_0032_0007__OR)
      & r_0032_0007__or(R_0032_0007__OR)
      & has_inv_arg1(R_0032_0007__OR,R_0032_0014__HAVE_R_0032_0015__READ)
      & r_0032_0014__have_r_0032_0015__read(R_0032_0014__HAVE_R_0032_0015__READ)
      & has_arg0(R_0032_0014__HAVE_R_0032_0015__READ,R_0032_0013__YOU)
      & has_conj2(R_0032_0007__OR,R_0032_0008__ONE)
      & r_0032_0008__one(R_0032_0008__ONE)
      & has_r_0032_0009__of(R_0032_0008__ONE,R_0032_0010__THE_R_0032_0012__STORIES)
      & r_0032_0010__the_r_0032_0012__stories(R_0032_0010__THE_R_0032_0012__STORIES)
      & has_attrib(R_0032_0010__THE_R_0032_0012__STORIES,R_0032_0011__SHORT)
      & has_conj1(R_0032_0007__OR,R_0032_0005__THE_R_0032_0006__BOOK)
      & has_arg0(R_0032_0001__IS,R_0032_0002__THIS) ) ).