( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N friend;{friend})))
          (PP-NIM (P-ROLE about;{about})
                  (NP;{BOOK} (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 ,)
          (PP-SCON (IP-PPL2 (VAG;_Tw_ explaining;{explain})
                            (CP-QUE-OB1 (IP-SUB (ADVP-128 (WADV why;{why}))
                                                (NP-SBJ;{BOOK} (PRO it;{it}))
                                                (MD;_cat_Vi_ would;{will})
                                                (IP-INF-CAT (ADVP-NIM *ICH*-128)
                                                            (BE;_La_ be;{be})
                                                            (ADJP-PRD (ADJ suitable;{suitable}))
                                                            (IP-INF-NSBJ (P-CONN for;{for})
                                                                         (NP-LGS (NP-GEN (PRO;_genm_ your;{your}))
                                                                                 (N pen;{pen})
                                                                                 (N friend;{friend}))
                                                                         (TO to;{to})
                                                                         (VB;_Tn_ read;{read})
                                                                         (PP-NIM (P-ROLE on;{on})
                                                                                 (NP (N holiday;{holiday})))))))))
          (PUNC .))
  (ID 32_a_fce_0102_2001_12))

arc(r_0032_0001__Write_r_0032_0004__to,r_0032_0002__a_r_0032_0003__letter,arg1).
arc(r_0032_0001__Write_r_0032_0004__to,r_0032_0006__friend,arg2).
arc(r_0032_0001__Write_r_0032_0004__to,r_0032_0008__the_r_0032_0009__book,r_0032_0007__about__nim).
arc(r_0032_0001__Write_r_0032_0004__to,z_0032_5002,arg0).
arc(r_0032_0006__friend,r_0032_0005__your,gen).
arc(r_0032_0011__have,r_0032_0012__read,scope).
arc(r_0032_0012__read,r_0032_0005__your,arg0).
arc(r_0032_0012__read,r_0032_0008__the_r_0032_0009__book,inv_arg1).
arc(r_0032_0014__explaining,r_0032_0017__would,arg1).
arc(r_0032_0014__explaining,z_0032_5002,arg0).
arc(r_0032_0017__would,r_0032_0018__be,scope).
arc(r_0032_0018__be,r_0032_0015__why,nim).
arc(r_0032_0018__be,r_0032_0019__suitable,prd).
arc(r_0032_0018__be,r_0032_0025__read,arg0).
arc(r_0032_0022__pen_r_0032_0023__friend,r_0032_0005__your,gen).
arc(r_0032_0025__read,r_0032_0008__the_r_0032_0009__book,arg1).
arc(r_0032_0025__read,r_0032_0022__pen_r_0032_0023__friend,arg0).
arc(r_0032_0025__read,r_0032_0027__holiday,r_0032_0026__on__nim).
arc(z_0032_5005,r_0032_0001__Write_r_0032_0004__to,scope).
arc(z_0032_5005,r_0032_0014__explaining,restriction).

fof(formula,axiom,
    ? [R_0032_0002__A_R_0032_0003__LETTER,R_0032_0005__YOUR,R_0032_0006__FRIEND,R_0032_0011__HAVE_R_0032_0012__READ,R_0032_0008__THE_R_0032_0009__BOOK,Z_0032_5002,R_0032_0001__WRITE_R_0032_0004__TO,R_0032_0015__WHY,R_0032_0019__SUITABLE,R_0032_0022__PEN_R_0032_0023__FRIEND,R_0032_0027__HOLIDAY,R_0032_0025__READ,R_0032_0017__WOULD_R_0032_0018__BE,R_0032_0014__EXPLAINING,Z_0032_5005] :
      ( r_0032_0002__a_r_0032_0003__letter(R_0032_0002__A_R_0032_0003__LETTER)
      & r_0032_0005__your(R_0032_0005__YOUR)
      & r_0032_0015__why(R_0032_0015__WHY)
      & r_0032_0019__suitable(R_0032_0019__SUITABLE)
      & r_0032_0027__holiday(R_0032_0027__HOLIDAY)
      & z_0032_5002(Z_0032_5002)
      & z_0032_5005(Z_0032_5005)
      & has_conj1(Z_0032_5005,R_0032_0014__EXPLAINING)
      & r_0032_0014__explaining(R_0032_0014__EXPLAINING)
      & has_arg0(R_0032_0014__EXPLAINING,Z_0032_5002)
      & has_arg1(R_0032_0014__EXPLAINING,R_0032_0017__WOULD_R_0032_0018__BE)
      & r_0032_0017__would_r_0032_0018__be(R_0032_0017__WOULD_R_0032_0018__BE)
      & has_arg0(R_0032_0017__WOULD_R_0032_0018__BE,R_0032_0025__READ)
      & r_0032_0025__read(R_0032_0025__READ)
      & has_r_0032_0026__on__nim(R_0032_0025__READ,R_0032_0027__HOLIDAY)
      & has_arg0(R_0032_0025__READ,R_0032_0022__PEN_R_0032_0023__FRIEND)
      & r_0032_0022__pen_r_0032_0023__friend(R_0032_0022__PEN_R_0032_0023__FRIEND)
      & has_gen(R_0032_0022__PEN_R_0032_0023__FRIEND,R_0032_0005__YOUR)
      & has_arg1(R_0032_0025__READ,R_0032_0008__THE_R_0032_0009__BOOK)
      & r_0032_0008__the_r_0032_0009__book(R_0032_0008__THE_R_0032_0009__BOOK)
      & has_inv_arg1(R_0032_0008__THE_R_0032_0009__BOOK,R_0032_0011__HAVE_R_0032_0012__READ)
      & r_0032_0011__have_r_0032_0012__read(R_0032_0011__HAVE_R_0032_0012__READ)
      & has_arg0(R_0032_0011__HAVE_R_0032_0012__READ,R_0032_0005__YOUR)
      & has_prd(R_0032_0017__WOULD_R_0032_0018__BE,R_0032_0019__SUITABLE)
      & has_nim(R_0032_0017__WOULD_R_0032_0018__BE,R_0032_0015__WHY)
      & has_conj2(Z_0032_5005,R_0032_0001__WRITE_R_0032_0004__TO)
      & r_0032_0001__Write_r_0032_0004__to(R_0032_0001__WRITE_R_0032_0004__TO)
      & has_arg0(R_0032_0001__WRITE_R_0032_0004__TO,Z_0032_5002)
      & has_r_0032_0007__about__nim(R_0032_0001__WRITE_R_0032_0004__TO,R_0032_0008__THE_R_0032_0009__BOOK)
      & has_arg2(R_0032_0001__WRITE_R_0032_0004__TO,R_0032_0006__FRIEND)
      & r_0032_0006__friend(R_0032_0006__FRIEND)
      & has_gen(R_0032_0006__FRIEND,R_0032_0005__YOUR)
      & has_arg1(R_0032_0001__WRITE_R_0032_0004__TO,R_0032_0002__A_R_0032_0003__LETTER) ) ).