( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1 (D the;{the})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N pen;{pen})
                      (N friend;{friend})))
          (PUNC .))
  (ID 30_a_fce_0102_2000_12))

arc(r_0030_0001__Write_r_0030_0004__to,r_0030_0002__the_r_0030_0003__letter,arg1).
arc(r_0030_0001__Write_r_0030_0004__to,r_0030_0006__pen_r_0030_0007__friend,arg2).
arc(r_0030_0001__Write_r_0030_0004__to,z_0030_5002,arg0).
arc(r_0030_0006__pen_r_0030_0007__friend,r_0030_0005__your,gen).

fof(formula,axiom,
    ? [R_0030_0002__THE_R_0030_0003__LETTER,R_0030_0005__YOUR,R_0030_0006__PEN_R_0030_0007__FRIEND,Z_0030_5002,R_0030_0001__WRITE_R_0030_0004__TO] :
      ( r_0030_0002__the_r_0030_0003__letter(R_0030_0002__THE_R_0030_0003__LETTER)
      & r_0030_0005__your(R_0030_0005__YOUR)
      & z_0030_5002(Z_0030_5002)
      & r_0030_0001__Write_r_0030_0004__to(R_0030_0001__WRITE_R_0030_0004__TO)
      & has_arg0(R_0030_0001__WRITE_R_0030_0004__TO,Z_0030_5002)
      & has_arg2(R_0030_0001__WRITE_R_0030_0004__TO,R_0030_0006__PEN_R_0030_0007__FRIEND)
      & r_0030_0006__pen_r_0030_0007__friend(R_0030_0006__PEN_R_0030_0007__FRIEND)
      & has_gen(R_0030_0006__PEN_R_0030_0007__FRIEND,R_0030_0005__YOUR)
      & has_arg1(R_0030_0001__WRITE_R_0030_0004__TO,R_0030_0002__THE_R_0030_0003__LETTER) ) ).