( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (D a;{a})
                  (N composition;{composition}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ explaining;{explain})
                            (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                    (NS views;{view}))
                            (PP-NIM (P-ROLE with;{with})
                                    (NP (N reference;{reference})
                                        (PP (P-ROLE to;{to})
                                            (NP (NLYR (NLYR;{BOOK1} (D the;{the})
                                                                    (N book;{book}))
                                                      (CONJP (CONJ or;{or})
                                                             (NLYR (NUM;_nphd_ 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 34_a_fce_0100_2000_06))

arc(r_0034_0001__Write,r_0034_0002__a_r_0034_0003__composition,arg1).
arc(r_0034_0001__Write,z_0034_5002,arg0).
arc(r_0034_0005__explaining,r_0034_0007__views,arg1).
arc(r_0034_0005__explaining,r_0034_0009__reference,r_0034_0008__with__nim).
arc(r_0034_0005__explaining,z_0034_5002,arg0).
arc(r_0034_0007__views,r_0034_0006__your,gen).
arc(r_0034_0009__reference,r_0034_0013__or,r_0034_0010__to).
arc(r_0034_0013__or,r_0034_0011__the_r_0034_0012__book,conj1).
arc(r_0034_0013__or,r_0034_0014__one,conj2).
arc(r_0034_0014__one,r_0034_0016__the_r_0034_0018__stories,r_0034_0015__of).
arc(r_0034_0016__the_r_0034_0018__stories,r_0034_0017__short,attrib).
arc(r_0034_0020__have,r_0034_0021__read,scope).
arc(r_0034_0021__read,r_0034_0006__your,arg0).
arc(r_0034_0021__read,r_0034_0013__or,inv_arg1).
arc(z_0034_5004,r_0034_0001__Write,scope).
arc(z_0034_5004,r_0034_0005__explaining,restriction).

fof(formula,axiom,
    ? [R_0034_0002__A_R_0034_0003__COMPOSITION,Z_0034_5002,R_0034_0001__WRITE,R_0034_0006__YOUR,R_0034_0007__VIEWS,R_0034_0011__THE_R_0034_0012__BOOK,R_0034_0017__SHORT,R_0034_0016__THE_R_0034_0018__STORIES,R_0034_0014__ONE,R_0034_0020__HAVE_R_0034_0021__READ,R_0034_0013__OR,R_0034_0009__REFERENCE,R_0034_0005__EXPLAINING,Z_0034_5004] :
      ( r_0034_0002__a_r_0034_0003__composition(R_0034_0002__A_R_0034_0003__COMPOSITION)
      & r_0034_0006__your(R_0034_0006__YOUR)
      & r_0034_0011__the_r_0034_0012__book(R_0034_0011__THE_R_0034_0012__BOOK)
      & r_0034_0017__short(R_0034_0017__SHORT)
      & z_0034_5002(Z_0034_5002)
      & z_0034_5004(Z_0034_5004)
      & has_conj1(Z_0034_5004,R_0034_0005__EXPLAINING)
      & r_0034_0005__explaining(R_0034_0005__EXPLAINING)
      & has_arg0(R_0034_0005__EXPLAINING,Z_0034_5002)
      & has_r_0034_0008__with__nim(R_0034_0005__EXPLAINING,R_0034_0009__REFERENCE)
      & r_0034_0009__reference(R_0034_0009__REFERENCE)
      & has_r_0034_0010__to(R_0034_0009__REFERENCE,R_0034_0013__OR)
      & r_0034_0013__or(R_0034_0013__OR)
      & has_inv_arg1(R_0034_0013__OR,R_0034_0020__HAVE_R_0034_0021__READ)
      & r_0034_0020__have_r_0034_0021__read(R_0034_0020__HAVE_R_0034_0021__READ)
      & has_arg0(R_0034_0020__HAVE_R_0034_0021__READ,R_0034_0006__YOUR)
      & has_conj2(R_0034_0013__OR,R_0034_0014__ONE)
      & r_0034_0014__one(R_0034_0014__ONE)
      & has_r_0034_0015__of(R_0034_0014__ONE,R_0034_0016__THE_R_0034_0018__STORIES)
      & r_0034_0016__the_r_0034_0018__stories(R_0034_0016__THE_R_0034_0018__STORIES)
      & has_attrib(R_0034_0016__THE_R_0034_0018__STORIES,R_0034_0017__SHORT)
      & has_conj1(R_0034_0013__OR,R_0034_0011__THE_R_0034_0012__BOOK)
      & has_arg1(R_0034_0005__EXPLAINING,R_0034_0007__VIEWS)
      & r_0034_0007__views(R_0034_0007__VIEWS)
      & has_gen(R_0034_0007__VIEWS,R_0034_0006__YOUR)
      & has_conj2(Z_0034_5004,R_0034_0001__WRITE)
      & r_0034_0001__Write(R_0034_0001__WRITE)
      & has_arg0(R_0034_0001__WRITE,Z_0034_5002)
      & has_arg1(R_0034_0001__WRITE,R_0034_0002__A_R_0034_0003__COMPOSITION) ) ).