( (IP-IMP (VB;_Dn.pr_ Write;{write[for]})
          (NP-OB1 (D a;{a})
                  (N composition;{composition}))
          (PP-OB2 (P-ROLE for;{for})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N teacher;{teacher})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tw_ saying;{say})
                            (CP-QUE-OB1 (IP-SUB (ILYR (ILYR (NP-OB1 (WPRO which;{which}))
                                                            (NP-SBJ (PRO you;{you}))
                                                            (VBP;_Tn_ prefer;{prefer}))
                                                      (CONJP (CONJ and;{and})
                                                             (ILYR (ADVP-NIM (WADV why;{why})))))))
                            (PUNC ,)
                            (PP-NIM (P-ROLE with;{with})
                                    (NP (N reference;{reference})
                                        (PP (P-ROLE to;{to})
                                            (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_0102_2000_12))

arc(r_0036_0001__Write_r_0036_0004__for,r_0036_0002__a_r_0036_0003__composition,arg1).
arc(r_0036_0001__Write_r_0036_0004__for,r_0036_0006__teacher,arg2).
arc(r_0036_0001__Write_r_0036_0004__for,z_0036_5002,arg0).
arc(r_0036_0006__teacher,r_0036_0005__your,gen).
arc(r_0036_0008__saying,r_0036_0012__and,arg1).
arc(r_0036_0008__saying,r_0036_0016__reference,r_0036_0015__with__nim).
arc(r_0036_0008__saying,z_0036_5002,arg0).
arc(r_0036_0011__prefer,r_0036_0005__your,arg0).
arc(r_0036_0011__prefer,r_0036_0009__which,arg1).
arc(r_0036_0012__and,r_0036_0011__prefer,conj1).
arc(r_0036_0012__and,z_0036_5012,conj2).
arc(r_0036_0016__reference,r_0036_0020__or,r_0036_0017__to).
arc(r_0036_0020__or,r_0036_0018__the_r_0036_0019__book,conj1).
arc(r_0036_0020__or,r_0036_0021__one,conj2).
arc(r_0036_0021__one,r_0036_0023__the_r_0036_0025__stories,r_0036_0022__of).
arc(r_0036_0023__the_r_0036_0025__stories,r_0036_0024__short,attrib).
arc(r_0036_0027__have,r_0036_0028__read,scope).
arc(r_0036_0028__read,r_0036_0005__your,arg0).
arc(r_0036_0028__read,r_0036_0020__or,inv_arg1).
arc(z_0036_5005,r_0036_0001__Write_r_0036_0004__for,scope).
arc(z_0036_5005,r_0036_0008__saying,restriction).
arc(z_0036_5012,r_0036_0013__why,nim).

fof(formula,axiom,
    ? [R_0036_0002__A_R_0036_0003__COMPOSITION,R_0036_0005__YOUR,R_0036_0006__TEACHER,Z_0036_5002,R_0036_0001__WRITE_R_0036_0004__FOR,R_0036_0009__WHICH,R_0036_0011__PREFER,R_0036_0013__WHY,Z_0036_5012,R_0036_0012__AND,R_0036_0018__THE_R_0036_0019__BOOK,R_0036_0024__SHORT,R_0036_0023__THE_R_0036_0025__STORIES,R_0036_0021__ONE,R_0036_0027__HAVE_R_0036_0028__READ,R_0036_0020__OR,R_0036_0016__REFERENCE,R_0036_0008__SAYING,Z_0036_5005] :
      ( r_0036_0002__a_r_0036_0003__composition(R_0036_0002__A_R_0036_0003__COMPOSITION)
      & r_0036_0005__your(R_0036_0005__YOUR)
      & r_0036_0009__which(R_0036_0009__WHICH)
      & r_0036_0013__why(R_0036_0013__WHY)
      & r_0036_0018__the_r_0036_0019__book(R_0036_0018__THE_R_0036_0019__BOOK)
      & r_0036_0024__short(R_0036_0024__SHORT)
      & z_0036_5002(Z_0036_5002)
      & z_0036_5005(Z_0036_5005)
      & has_conj1(Z_0036_5005,R_0036_0008__SAYING)
      & r_0036_0008__saying(R_0036_0008__SAYING)
      & has_arg0(R_0036_0008__SAYING,Z_0036_5002)
      & has_r_0036_0015__with__nim(R_0036_0008__SAYING,R_0036_0016__REFERENCE)
      & r_0036_0016__reference(R_0036_0016__REFERENCE)
      & has_r_0036_0017__to(R_0036_0016__REFERENCE,R_0036_0020__OR)
      & r_0036_0020__or(R_0036_0020__OR)
      & has_inv_arg1(R_0036_0020__OR,R_0036_0027__HAVE_R_0036_0028__READ)
      & r_0036_0027__have_r_0036_0028__read(R_0036_0027__HAVE_R_0036_0028__READ)
      & has_arg0(R_0036_0027__HAVE_R_0036_0028__READ,R_0036_0005__YOUR)
      & has_conj2(R_0036_0020__OR,R_0036_0021__ONE)
      & r_0036_0021__one(R_0036_0021__ONE)
      & has_r_0036_0022__of(R_0036_0021__ONE,R_0036_0023__THE_R_0036_0025__STORIES)
      & r_0036_0023__the_r_0036_0025__stories(R_0036_0023__THE_R_0036_0025__STORIES)
      & has_attrib(R_0036_0023__THE_R_0036_0025__STORIES,R_0036_0024__SHORT)
      & has_conj1(R_0036_0020__OR,R_0036_0018__THE_R_0036_0019__BOOK)
      & has_arg1(R_0036_0008__SAYING,R_0036_0012__AND)
      & r_0036_0012__and(R_0036_0012__AND)
      & has_conj2(R_0036_0012__AND,Z_0036_5012)
      & z_0036_5012(Z_0036_5012)
      & has_nim(Z_0036_5012,R_0036_0013__WHY)
      & has_conj1(R_0036_0012__AND,R_0036_0011__PREFER)
      & r_0036_0011__prefer(R_0036_0011__PREFER)
      & has_arg1(R_0036_0011__PREFER,R_0036_0009__WHICH)
      & has_arg0(R_0036_0011__PREFER,R_0036_0005__YOUR)
      & has_conj2(Z_0036_5005,R_0036_0001__WRITE_R_0036_0004__FOR)
      & r_0036_0001__Write_r_0036_0004__for(R_0036_0001__WRITE_R_0036_0004__FOR)
      & has_arg0(R_0036_0001__WRITE_R_0036_0004__FOR,Z_0036_5002)
      & has_arg2(R_0036_0001__WRITE_R_0036_0004__FOR,R_0036_0006__TEACHER)
      & r_0036_0006__teacher(R_0036_0006__TEACHER)
      & has_gen(R_0036_0006__TEACHER,R_0036_0005__YOUR)
      & has_arg1(R_0036_0001__WRITE_R_0036_0004__FOR,R_0036_0002__A_R_0036_0003__COMPOSITION) ) ).