( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (D a;{a})
                      (N friend;{friend})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tw_ explaining;{explain})
                            (CP-QUE-OB1 (IP-SUB (ILYR (ILYR (NP-OB1 (WPRO what;{what}))
                                                            (NP-SBJ (PRO you;{you}))
                                                            (VBD;_Cn.a_ found;{find})
                                                            (ADJP-PRD (ADJ interesting;{interesting})))
                                                      (CONJP (CONJ and;{and})
                                                             (ILYR (ADVP-NIM (WADV why;{why})))))))))
          (PUNC .))
  (ID 37_a_fce_0100_2001_06))

arc(r_0037_0001__Write_r_0037_0004__to,r_0037_0002__a_r_0037_0003__letter,arg1).
arc(r_0037_0001__Write_r_0037_0004__to,r_0037_0005__a_r_0037_0006__friend,arg2).
arc(r_0037_0001__Write_r_0037_0004__to,z_0037_5002,arg0).
arc(r_0037_0008__explaining,r_0037_0013__and,arg1).
arc(r_0037_0008__explaining,z_0037_5002,arg0).
arc(r_0037_0011__found,r_0037_0009__what,arg1).
arc(r_0037_0011__found,r_0037_0010__you,arg0).
arc(r_0037_0011__found,r_0037_0012__interesting,prd).
arc(r_0037_0013__and,r_0037_0011__found,conj1).
arc(r_0037_0013__and,z_0037_5012,conj2).
arc(z_0037_5005,r_0037_0001__Write_r_0037_0004__to,scope).
arc(z_0037_5005,r_0037_0008__explaining,restriction).
arc(z_0037_5012,r_0037_0014__why,nim).

fof(formula,axiom,
    ? [R_0037_0002__A_R_0037_0003__LETTER,R_0037_0005__A_R_0037_0006__FRIEND,Z_0037_5002,R_0037_0001__WRITE_R_0037_0004__TO,R_0037_0009__WHAT,R_0037_0010__YOU,R_0037_0012__INTERESTING,R_0037_0011__FOUND,R_0037_0014__WHY,Z_0037_5012,R_0037_0013__AND,R_0037_0008__EXPLAINING,Z_0037_5005] :
      ( r_0037_0002__a_r_0037_0003__letter(R_0037_0002__A_R_0037_0003__LETTER)
      & r_0037_0005__a_r_0037_0006__friend(R_0037_0005__A_R_0037_0006__FRIEND)
      & r_0037_0009__what(R_0037_0009__WHAT)
      & r_0037_0010__you(R_0037_0010__YOU)
      & r_0037_0012__interesting(R_0037_0012__INTERESTING)
      & r_0037_0014__why(R_0037_0014__WHY)
      & z_0037_5002(Z_0037_5002)
      & z_0037_5005(Z_0037_5005)
      & has_conj1(Z_0037_5005,R_0037_0008__EXPLAINING)
      & r_0037_0008__explaining(R_0037_0008__EXPLAINING)
      & has_arg0(R_0037_0008__EXPLAINING,Z_0037_5002)
      & has_arg1(R_0037_0008__EXPLAINING,R_0037_0013__AND)
      & r_0037_0013__and(R_0037_0013__AND)
      & has_conj2(R_0037_0013__AND,Z_0037_5012)
      & z_0037_5012(Z_0037_5012)
      & has_nim(Z_0037_5012,R_0037_0014__WHY)
      & has_conj1(R_0037_0013__AND,R_0037_0011__FOUND)
      & r_0037_0011__found(R_0037_0011__FOUND)
      & has_prd(R_0037_0011__FOUND,R_0037_0012__INTERESTING)
      & has_arg0(R_0037_0011__FOUND,R_0037_0010__YOU)
      & has_arg1(R_0037_0011__FOUND,R_0037_0009__WHAT)
      & has_conj2(Z_0037_5005,R_0037_0001__WRITE_R_0037_0004__TO)
      & r_0037_0001__Write_r_0037_0004__to(R_0037_0001__WRITE_R_0037_0004__TO)
      & has_arg0(R_0037_0001__WRITE_R_0037_0004__TO,Z_0037_5002)
      & has_arg2(R_0037_0001__WRITE_R_0037_0004__TO,R_0037_0005__A_R_0037_0006__FRIEND)
      & has_arg1(R_0037_0001__WRITE_R_0037_0004__TO,R_0037_0002__A_R_0037_0003__LETTER) ) ).