( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (Q all;{all})
                                   (NP-GEN (PRO;_genm_ your;{your}))
                                   (NS notes;{note}))))
          (PUNC ,)
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{PETE} (NPR Pete;{Pete})))
          (PUNC .))
  (ID 6_a_fce_0102_2001_03))

arc(r_0006_0003__using,r_0006_0006__notes,arg1).
arc(r_0006_0003__using,r_0006_0012__Pete,arg0).
arc(r_0006_0004__all__quant,r_0006_0003__using,scope).
arc(r_0006_0004__all__quant,r_0006_0006__notes,restriction).
arc(r_0006_0006__notes,r_0006_0005__your,gen).
arc(r_0006_0008__write_r_0006_0011__to,r_0006_0001__Then,nim).
arc(r_0006_0008__write_r_0006_0011__to,r_0006_0009__a_r_0006_0010__letter,arg1).
arc(r_0006_0008__write_r_0006_0011__to,r_0006_0012__Pete,arg2).
arc(r_0006_0008__write_r_0006_0011__to,z_0006_5002,arg0).
arc(z_0006_5004,r_0006_0004__all__quant,restriction).
arc(z_0006_5004,r_0006_0008__write_r_0006_0011__to,scope).

fof(formula,axiom,
    ? [R_0006_0001__THEN,R_0006_0009__A_R_0006_0010__LETTER,R_0006_0012__PETE,Z_0006_5002,R_0006_0008__WRITE_R_0006_0011__TO,Z_0006_5004] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0009__a_r_0006_0010__letter(R_0006_0009__A_R_0006_0010__LETTER)
      & r_0006_0012__Pete(R_0006_0012__PETE)
      & z_0006_5002(Z_0006_5002)
      & z_0006_5004(Z_0006_5004)
      & has_conj2(Z_0006_5004,R_0006_0008__WRITE_R_0006_0011__TO)
      & r_0006_0008__write_r_0006_0011__to(R_0006_0008__WRITE_R_0006_0011__TO)
      & has_arg0(R_0006_0008__WRITE_R_0006_0011__TO,Z_0006_5002)
      & has_arg2(R_0006_0008__WRITE_R_0006_0011__TO,R_0006_0012__PETE)
      & has_arg1(R_0006_0008__WRITE_R_0006_0011__TO,R_0006_0009__A_R_0006_0010__LETTER)
      & has_nim(R_0006_0008__WRITE_R_0006_0011__TO,R_0006_0001__THEN)
      & ! [R_0006_0006__NOTES,R_0006_0005__YOUR] :
          ( ( r_0006_0005__your(R_0006_0005__YOUR)
            & ~ has_gen(R_0006_0006__NOTES,R_0006_0005__YOUR) )
         => ? [R_0006_0003__USING] :
              ( r_0006_0003__using(R_0006_0003__USING)
              & has_arg0(R_0006_0003__USING,R_0006_0012__PETE)
              & has_arg1(R_0006_0003__USING,R_0006_0006__NOTES) ) ) ) ).