( (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 penfriend;{penfriend})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ giving;{give})
                                        (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                (N opinion;{opinion})))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Tn_ explaining;{explain})
                                               (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                       (NS reasons;{reason})))))))
          (PUNC .))
  (ID 31_a_fce_0101_2001_06))

arc(r_0031_0001__Write_r_0031_0004__to,r_0031_0002__a_r_0031_0003__letter,arg1).
arc(r_0031_0001__Write_r_0031_0004__to,r_0031_0006__penfriend,arg2).
arc(r_0031_0001__Write_r_0031_0004__to,z_0031_5002,arg0).
arc(r_0031_0006__penfriend,r_0031_0005__your,gen).
arc(r_0031_0008__giving,r_0031_0010__opinion,arg1).
arc(r_0031_0008__giving,z_0031_5002,arg0).
arc(r_0031_0010__opinion,r_0031_0005__your,gen).
arc(r_0031_0011__and,r_0031_0008__giving,conj1).
arc(r_0031_0011__and,r_0031_0012__explaining,conj2).
arc(r_0031_0012__explaining,r_0031_0014__reasons,arg1).
arc(r_0031_0012__explaining,z_0031_5002,arg0).
arc(r_0031_0014__reasons,r_0031_0005__your,gen).
arc(z_0031_5005,r_0031_0001__Write_r_0031_0004__to,scope).
arc(z_0031_5005,r_0031_0011__and,restriction).

fof(formula,axiom,
    ? [R_0031_0002__A_R_0031_0003__LETTER,R_0031_0005__YOUR,R_0031_0006__PENFRIEND,Z_0031_5002,R_0031_0001__WRITE_R_0031_0004__TO,R_0031_0010__OPINION,R_0031_0008__GIVING,R_0031_0014__REASONS,R_0031_0012__EXPLAINING,R_0031_0011__AND,Z_0031_5005] :
      ( r_0031_0002__a_r_0031_0003__letter(R_0031_0002__A_R_0031_0003__LETTER)
      & r_0031_0005__your(R_0031_0005__YOUR)
      & z_0031_5002(Z_0031_5002)
      & z_0031_5005(Z_0031_5005)
      & has_conj1(Z_0031_5005,R_0031_0011__AND)
      & r_0031_0011__and(R_0031_0011__AND)
      & has_conj2(R_0031_0011__AND,R_0031_0012__EXPLAINING)
      & r_0031_0012__explaining(R_0031_0012__EXPLAINING)
      & has_arg0(R_0031_0012__EXPLAINING,Z_0031_5002)
      & has_arg1(R_0031_0012__EXPLAINING,R_0031_0014__REASONS)
      & r_0031_0014__reasons(R_0031_0014__REASONS)
      & has_gen(R_0031_0014__REASONS,R_0031_0005__YOUR)
      & has_conj1(R_0031_0011__AND,R_0031_0008__GIVING)
      & r_0031_0008__giving(R_0031_0008__GIVING)
      & has_arg0(R_0031_0008__GIVING,Z_0031_5002)
      & has_arg1(R_0031_0008__GIVING,R_0031_0010__OPINION)
      & r_0031_0010__opinion(R_0031_0010__OPINION)
      & has_gen(R_0031_0010__OPINION,R_0031_0005__YOUR)
      & has_conj2(Z_0031_5005,R_0031_0001__WRITE_R_0031_0004__TO)
      & r_0031_0001__Write_r_0031_0004__to(R_0031_0001__WRITE_R_0031_0004__TO)
      & has_arg0(R_0031_0001__WRITE_R_0031_0004__TO,Z_0031_5002)
      & has_arg2(R_0031_0001__WRITE_R_0031_0004__TO,R_0031_0006__PENFRIEND)
      & r_0031_0006__penfriend(R_0031_0006__PENFRIEND)
      & has_gen(R_0031_0006__PENFRIEND,R_0031_0005__YOUR)
      & has_arg1(R_0031_0001__WRITE_R_0031_0004__TO,R_0031_0002__A_R_0031_0003__LETTER) ) ).