( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ;{STATEMENT1} (D;_nphd_ this;{this}))
                      (ADJP-PRD (ADJ true;{true})
                                (PP (P-ROLE of;{of})
                                    (NP;{BOOK1} (D the;{the})
                                                (N book;{book})
                                                (IP-REL (NP-SBJ (PRO you;{you}))
                                                        (HVP;_cat_Ve_ have;{have})
                                                        (IP-PPL-CAT (NP-OB1 *T*)
                                                                    (VVN;_Tn_ read;{read})))))))
              (PUNC ?))
  (ID 33_a_fce_0100_2000_06))

arc(r_0033_0001__Is,r_0033_0002__this,arg0).
arc(r_0033_0001__Is,r_0033_0003__true,prd).
arc(r_0033_0003__true,r_0033_0005__the_r_0033_0006__book,r_0033_0004__of).
arc(r_0033_0008__have,r_0033_0009__read,scope).
arc(r_0033_0009__read,r_0033_0005__the_r_0033_0006__book,inv_arg1).
arc(r_0033_0009__read,r_0033_0007__you,arg0).

fof(formula,axiom,
    ? [R_0033_0002__THIS,R_0033_0007__YOU,R_0033_0008__HAVE_R_0033_0009__READ,R_0033_0005__THE_R_0033_0006__BOOK,R_0033_0003__TRUE,R_0033_0001__IS] :
      ( r_0033_0002__this(R_0033_0002__THIS)
      & r_0033_0007__you(R_0033_0007__YOU)
      & r_0033_0001__Is(R_0033_0001__IS)
      & has_prd(R_0033_0001__IS,R_0033_0003__TRUE)
      & r_0033_0003__true(R_0033_0003__TRUE)
      & has_r_0033_0004__of(R_0033_0003__TRUE,R_0033_0005__THE_R_0033_0006__BOOK)
      & r_0033_0005__the_r_0033_0006__book(R_0033_0005__THE_R_0033_0006__BOOK)
      & has_inv_arg1(R_0033_0005__THE_R_0033_0006__BOOK,R_0033_0008__HAVE_R_0033_0009__READ)
      & r_0033_0008__have_r_0033_0009__read(R_0033_0008__HAVE_R_0033_0009__READ)
      & has_arg0(R_0033_0008__HAVE_R_0033_0009__READ,R_0033_0007__YOU)
      & has_arg0(R_0033_0001__IS,R_0033_0002__THIS) ) ).