( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ using;{use})
                            (NP-OB1 (Q;_nphd_ all;{all})
                                    (NLYR (D the;{the})
                                          (N information;{information})
                                          (PP (P-ROLE in;{in})
                                              (NP;{NOTES} (NP-GEN (PRO;_genm_ your;{your}))
                                                          (NS notes;{note})))))))
          (PUNC ,)
          (VB;_Tn_ write;{write})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ suitable;{suitable}))
                  (N reply;{reply}))
          (PUNC .))
  (ID 5_a_fce_0100_2000_06))

arc(r_0005_0003__using,z_0005_5002,arg0).
arc(r_0005_0003__using,z_0005_5011,arg1).
arc(r_0005_0004__all__quant,r_0005_0003__using,scope).
arc(r_0005_0004__all__quant,z_0005_5011,restriction).
arc(r_0005_0005__the_r_0005_0006__information,r_0005_0009__notes,r_0005_0007__in).
arc(r_0005_0009__notes,r_0005_0008__your,gen).
arc(r_0005_0011__write,r_0005_0001__Then,nim).
arc(r_0005_0011__write,r_0005_0012__a_r_0005_0014__reply,arg1).
arc(r_0005_0011__write,z_0005_5002,arg0).
arc(r_0005_0012__a_r_0005_0014__reply,r_0005_0013__suitable,attrib).
arc(z_0005_5005,r_0005_0004__all__quant,restriction).
arc(z_0005_5005,r_0005_0011__write,scope).
arc(z_0005_5011,r_0005_0005__the_r_0005_0006__information,nim).

fof(formula,axiom,
    ? [R_0005_0001__THEN,R_0005_0013__SUITABLE,R_0005_0012__A_R_0005_0014__REPLY,Z_0005_5002,R_0005_0011__WRITE,Z_0005_5005] :
      ( r_0005_0001__Then(R_0005_0001__THEN)
      & r_0005_0013__suitable(R_0005_0013__SUITABLE)
      & z_0005_5002(Z_0005_5002)
      & z_0005_5005(Z_0005_5005)
      & has_conj2(Z_0005_5005,R_0005_0011__WRITE)
      & r_0005_0011__write(R_0005_0011__WRITE)
      & has_arg0(R_0005_0011__WRITE,Z_0005_5002)
      & has_arg1(R_0005_0011__WRITE,R_0005_0012__A_R_0005_0014__REPLY)
      & r_0005_0012__a_r_0005_0014__reply(R_0005_0012__A_R_0005_0014__REPLY)
      & has_attrib(R_0005_0012__A_R_0005_0014__REPLY,R_0005_0013__SUITABLE)
      & has_nim(R_0005_0011__WRITE,R_0005_0001__THEN)
      & ! [Z_0005_5011,R_0005_0008__YOUR,R_0005_0009__NOTES,R_0005_0005__THE_R_0005_0006__INFORMATION] :
          ( ( r_0005_0008__your(R_0005_0008__YOUR)
            & z_0005_5011(Z_0005_5011)
            & has_nim(Z_0005_5011,R_0005_0005__THE_R_0005_0006__INFORMATION)
            & r_0005_0005__the_r_0005_0006__information(R_0005_0005__THE_R_0005_0006__INFORMATION)
            & has_r_0005_0007__in(R_0005_0005__THE_R_0005_0006__INFORMATION,R_0005_0009__NOTES)
            & ~ has_gen(R_0005_0009__NOTES,R_0005_0008__YOUR) )
         => ? [R_0005_0003__USING] :
              ( r_0005_0003__using(R_0005_0003__USING)
              & has_arg1(R_0005_0003__USING,Z_0005_5011)
              & has_arg0(R_0005_0003__USING,Z_0005_5002) ) ) ) ).