( (CP-QUE-MAT (IP-SUB (NP-OB1 (WPRO What;{what}))
                      (DOD did;{do})
                      (NP-SBJ (PRO you;{you}))
                      (VB;_Cn.a_ find;{find})
                      (ADJP-PRD (ADJ interesting;{interesting})
                                (PP (P-ROLE about;{about})
                                    (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 36_a_fce_0100_2001_06))

arc(r_0036_0002__did_r_0036_0004__find,r_0036_0001__What,arg1).
arc(r_0036_0002__did_r_0036_0004__find,r_0036_0003__you,arg0).
arc(r_0036_0002__did_r_0036_0004__find,r_0036_0005__interesting,prd).
arc(r_0036_0005__interesting,r_0036_0009__or,r_0036_0006__about).
arc(r_0036_0009__or,r_0036_0007__the_r_0036_0008__book,conj1).
arc(r_0036_0009__or,r_0036_0010__one,conj2).
arc(r_0036_0010__one,r_0036_0012__the_r_0036_0014__stories,r_0036_0011__of).
arc(r_0036_0012__the_r_0036_0014__stories,r_0036_0013__short,attrib).
arc(r_0036_0016__have,r_0036_0017__read,scope).
arc(r_0036_0017__read,r_0036_0003__you,arg0).
arc(r_0036_0017__read,r_0036_0009__or,inv_arg1).

fof(formula,axiom,
    ? [R_0036_0001__WHAT,R_0036_0003__YOU,R_0036_0007__THE_R_0036_0008__BOOK,R_0036_0013__SHORT,R_0036_0012__THE_R_0036_0014__STORIES,R_0036_0010__ONE,R_0036_0016__HAVE_R_0036_0017__READ,R_0036_0009__OR,R_0036_0005__INTERESTING,R_0036_0002__DID_R_0036_0004__FIND] :
      ( r_0036_0001__What(R_0036_0001__WHAT)
      & r_0036_0003__you(R_0036_0003__YOU)
      & r_0036_0007__the_r_0036_0008__book(R_0036_0007__THE_R_0036_0008__BOOK)
      & r_0036_0013__short(R_0036_0013__SHORT)
      & r_0036_0002__did_r_0036_0004__find(R_0036_0002__DID_R_0036_0004__FIND)
      & has_prd(R_0036_0002__DID_R_0036_0004__FIND,R_0036_0005__INTERESTING)
      & r_0036_0005__interesting(R_0036_0005__INTERESTING)
      & has_r_0036_0006__about(R_0036_0005__INTERESTING,R_0036_0009__OR)
      & r_0036_0009__or(R_0036_0009__OR)
      & has_inv_arg1(R_0036_0009__OR,R_0036_0016__HAVE_R_0036_0017__READ)
      & r_0036_0016__have_r_0036_0017__read(R_0036_0016__HAVE_R_0036_0017__READ)
      & has_arg0(R_0036_0016__HAVE_R_0036_0017__READ,R_0036_0003__YOU)
      & has_conj2(R_0036_0009__OR,R_0036_0010__ONE)
      & r_0036_0010__one(R_0036_0010__ONE)
      & has_r_0036_0011__of(R_0036_0010__ONE,R_0036_0012__THE_R_0036_0014__STORIES)
      & r_0036_0012__the_r_0036_0014__stories(R_0036_0012__THE_R_0036_0014__STORIES)
      & has_attrib(R_0036_0012__THE_R_0036_0014__STORIES,R_0036_0013__SHORT)
      & has_conj1(R_0036_0009__OR,R_0036_0007__THE_R_0036_0008__BOOK)
      & has_arg0(R_0036_0002__DID_R_0036_0004__FIND,R_0036_0003__YOU)
      & has_arg1(R_0036_0002__DID_R_0036_0004__FIND,R_0036_0001__WHAT) ) ).