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

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,attrib).
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).

fof(formula,axiom,
    ? [R_0039_0002__THIS,R_0039_0005__THE_R_0039_0006__BOOK,R_0039_0011__SHORT,R_0039_0010__THE_R_0039_0012__STORIES,R_0039_0008__ONE,R_0039_0007__OR,R_0039_0003__TRUE,R_0039_0001__IS,R_0039_0014__YOU,R_0039_0015__HAVE_R_0039_0016__READ] :
      ( r_0039_0002__this(R_0039_0002__THIS)
      & r_0039_0005__the_r_0039_0006__book(R_0039_0005__THE_R_0039_0006__BOOK)
      & r_0039_0011__short(R_0039_0011__SHORT)
      & r_0039_0014__you(R_0039_0014__YOU)
      & r_0039_0015__have_r_0039_0016__read(R_0039_0015__HAVE_R_0039_0016__READ)
      & has_arg0(R_0039_0015__HAVE_R_0039_0016__READ,R_0039_0014__YOU)
      & has_arg1(R_0039_0015__HAVE_R_0039_0016__READ,R_0039_0007__OR)
      & r_0039_0007__or(R_0039_0007__OR)
      & has_conj2(R_0039_0007__OR,R_0039_0008__ONE)
      & r_0039_0008__one(R_0039_0008__ONE)
      & has_r_0039_0009__of(R_0039_0008__ONE,R_0039_0010__THE_R_0039_0012__STORIES)
      & r_0039_0010__the_r_0039_0012__stories(R_0039_0010__THE_R_0039_0012__STORIES)
      & has_attrib(R_0039_0010__THE_R_0039_0012__STORIES,R_0039_0011__SHORT)
      & has_conj1(R_0039_0007__OR,R_0039_0005__THE_R_0039_0006__BOOK)
      & r_0039_0001__Is(R_0039_0001__IS)
      & has_prd(R_0039_0001__IS,R_0039_0003__TRUE)
      & r_0039_0003__true(R_0039_0003__TRUE)
      & has_r_0039_0004__of(R_0039_0003__TRUE,R_0039_0007__OR)
      & has_arg0(R_0039_0001__IS,R_0039_0002__THIS) ) ).