arc(r_0038_0001__Write, r_0038_0002__an_r_0038_0003__article, arg1).
arc(r_0038_0001__Write, r_0038_0006__school_r_0038_0007__magazine, arg2).
arc(r_0038_0001__Write, r_0038_0009__a_r_0038_0010__choice, r_0038_0008__about_nim23).
arc(r_0038_0001__Write, z_000_38_a_fce_0102_2000_12_1, arg0).
arc(r_0038_0006__school_r_0038_0007__magazine, r_0038_0005__your, gen).
arc(r_0038_0011__one, r_0038_0013__the_r_0038_0014__characters, r_0038_0012__of).
arc(r_0038_0015__had, r_0038_0016__to_r_0038_0017__make, scope).
arc(r_0038_0016__to_r_0038_0017__make, r_0038_0009__a_r_0038_0010__choice, arg1).
arc(r_0038_0016__to_r_0038_0017__make, r_0038_0011__one, arg0).
arc(r_0038_0016__to_r_0038_0017__make, r_0038_0021__or, r_0038_0018__in_nim52).
arc(r_0038_0021__or, r_0038_0019__the_r_0038_0020__book, conj1).
arc(r_0038_0021__or, r_0038_0022__one, conj2).
arc(r_0038_0022__one, r_0038_0024__the_r_0038_0026__stories, r_0038_0023__of).
arc(r_0038_0024__the_r_0038_0026__stories, r_0038_0025__short, attrib71).
arc(r_0038_0028__have, r_0038_0029__read, scope).
arc(r_0038_0029__read, r_0038_0021__or, arg1).
arc(r_0038_0029__read, r_0038_0027__you, arg0).

fof(formula,axiom,
    ? [R_0038_0002__AN_R_0038_0003__ARTICLE,R_0038_0005__YOUR,R_0038_0006__SCHOOL_R_0038_0007__MAGAZINE,R_0038_0009__A_R_0038_0010__CHOICE,Z_000_38_A_FCE_0102_2000_12_1,R_0038_0001__WRITE,R_0038_0013__THE_R_0038_0014__CHARACTERS,R_0038_0011__ONE,R_0038_0019__THE_R_0038_0020__BOOK,R_0038_0025__SHORT,R_0038_0024__THE_R_0038_0026__STORIES,R_0038_0022__ONE,R_0038_0021__OR,R_0038_0015__HAD_R_0038_0016__TO_R_0038_0017__MAKE,R_0038_0027__YOU,R_0038_0028__HAVE_R_0038_0029__READ] :
      ( r_0038_0002__an_r_0038_0003__article(R_0038_0002__AN_R_0038_0003__ARTICLE)
      & r_0038_0005__your(R_0038_0005__YOUR)
      & r_0038_0009__a_r_0038_0010__choice(R_0038_0009__A_R_0038_0010__CHOICE)
      & r_0038_0013__the_r_0038_0014__characters(R_0038_0013__THE_R_0038_0014__CHARACTERS)
      & r_0038_0019__the_r_0038_0020__book(R_0038_0019__THE_R_0038_0020__BOOK)
      & r_0038_0025__short(R_0038_0025__SHORT)
      & r_0038_0027__you(R_0038_0027__YOU)
      & z_000_38_a_fce_0102_2000_12_1(Z_000_38_A_FCE_0102_2000_12_1)
      & r_0038_0028__have_r_0038_0029__read(R_0038_0028__HAVE_R_0038_0029__READ)
      & has_arg0(R_0038_0028__HAVE_R_0038_0029__READ,R_0038_0027__YOU)
      & has_arg1(R_0038_0028__HAVE_R_0038_0029__READ,R_0038_0021__OR)
      & r_0038_0021__or(R_0038_0021__OR)
      & has_conj2(R_0038_0021__OR,R_0038_0022__ONE)
      & r_0038_0022__one(R_0038_0022__ONE)
      & has_r_0038_0023__of(R_0038_0022__ONE,R_0038_0024__THE_R_0038_0026__STORIES)
      & r_0038_0024__the_r_0038_0026__stories(R_0038_0024__THE_R_0038_0026__STORIES)
      & has_attrib71(R_0038_0024__THE_R_0038_0026__STORIES,R_0038_0025__SHORT)
      & has_conj1(R_0038_0021__OR,R_0038_0019__THE_R_0038_0020__BOOK)
      & r_0038_0015__had_r_0038_0016__to_r_0038_0017__make(R_0038_0015__HAD_R_0038_0016__TO_R_0038_0017__MAKE)
      & has_r_0038_0018__in_nim52(R_0038_0015__HAD_R_0038_0016__TO_R_0038_0017__MAKE,R_0038_0021__OR)
      & has_arg0(R_0038_0015__HAD_R_0038_0016__TO_R_0038_0017__MAKE,R_0038_0011__ONE)
      & r_0038_0011__one(R_0038_0011__ONE)
      & has_r_0038_0012__of(R_0038_0011__ONE,R_0038_0013__THE_R_0038_0014__CHARACTERS)
      & has_arg1(R_0038_0015__HAD_R_0038_0016__TO_R_0038_0017__MAKE,R_0038_0009__A_R_0038_0010__CHOICE)
      & r_0038_0001__Write(R_0038_0001__WRITE)
      & has_arg0(R_0038_0001__WRITE,Z_000_38_A_FCE_0102_2000_12_1)
      & has_r_0038_0008__about_nim23(R_0038_0001__WRITE,R_0038_0009__A_R_0038_0010__CHOICE)
      & has_arg2(R_0038_0001__WRITE,R_0038_0006__SCHOOL_R_0038_0007__MAGAZINE)
      & r_0038_0006__school_r_0038_0007__magazine(R_0038_0006__SCHOOL_R_0038_0007__MAGAZINE)
      & has_gen(R_0038_0006__SCHOOL_R_0038_0007__MAGAZINE,R_0038_0005__YOUR)
      & has_arg1(R_0038_0001__WRITE,R_0038_0002__AN_R_0038_0003__ARTICLE) ) ).

( (IP-IMP (VB;_Dn.pr_ Write;{write[for]})
          (NP-OB1 (D an;{an})
                  (N article;{article}))
          (PP-OB2 (P-ROLE for;{for})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N school;{school})
                      (N magazine;{magazine})))
          (PP-NIM (P-ROLE about;{about})
                  (NP (D a;{a})
                      (N choice;{choice})
                      (IP-REL (NP-SBJ (NUM one;{one})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (NS characters;{character}))))
                              (HVD;_cat_Vt_ had;{have})
                              (IP-INF-CAT (NP-OB1 *T*)
                                          (TO to;{to})
                                          (VB;_Tn_ make;{make})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (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 38_a_fce_0102_2000_12))