( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (Q;_nphd_ all;{all})
                                   (NLYR (D the;{the})
                                         (N information;{information})))))
          (PUNC ,)
          (VBP;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter})
                  (PP (P-ROLE on;{on})
                      (NP (N behalf;{behalf})
                          (PP (P-ROLE of;{of})
                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                  (N class;{class}))))))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{WIFE_OF_BROWN} (NPR Mrs;{Mrs})
                                      (NPR Brown;{Brown})))
          (PUNC .))
  (ID 6_a_fce_0101_2000_06))

arc(r_0006_0003__using,r_0006_0017__Mrs_r_0006_0018__Brown,arg0).
arc(r_0006_0003__using,z_0006_5011,arg1).
arc(r_0006_0004__all__quant,r_0006_0003__using,scope).
arc(r_0006_0004__all__quant,z_0006_5011,restriction).
arc(r_0006_0008__write_r_0006_0016__to,r_0006_0001__Then,nim).
arc(r_0006_0008__write_r_0006_0016__to,r_0006_0009__a_r_0006_0010__letter,arg1).
arc(r_0006_0008__write_r_0006_0016__to,r_0006_0017__Mrs_r_0006_0018__Brown,arg2).
arc(r_0006_0008__write_r_0006_0016__to,z_0006_5002,arg0).
arc(r_0006_0009__a_r_0006_0010__letter,r_0006_0012__behalf,r_0006_0011__on).
arc(r_0006_0012__behalf,r_0006_0015__class,r_0006_0013__of).
arc(r_0006_0015__class,r_0006_0014__your,gen).
arc(z_0006_5006,r_0006_0004__all__quant,restriction).
arc(z_0006_5006,r_0006_0008__write_r_0006_0016__to,scope).
arc(z_0006_5011,r_0006_0005__the_r_0006_0006__information,nim).

fof(formula,axiom,
    ? [R_0006_0001__THEN,R_0006_0014__YOUR,R_0006_0015__CLASS,R_0006_0012__BEHALF,R_0006_0009__A_R_0006_0010__LETTER,R_0006_0017__MRS_R_0006_0018__BROWN,Z_0006_5002,R_0006_0008__WRITE_R_0006_0016__TO,Z_0006_5006] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0014__your(R_0006_0014__YOUR)
      & r_0006_0017__Mrs_r_0006_0018__Brown(R_0006_0017__MRS_R_0006_0018__BROWN)
      & z_0006_5002(Z_0006_5002)
      & z_0006_5006(Z_0006_5006)
      & has_conj2(Z_0006_5006,R_0006_0008__WRITE_R_0006_0016__TO)
      & r_0006_0008__write_r_0006_0016__to(R_0006_0008__WRITE_R_0006_0016__TO)
      & has_arg0(R_0006_0008__WRITE_R_0006_0016__TO,Z_0006_5002)
      & has_arg2(R_0006_0008__WRITE_R_0006_0016__TO,R_0006_0017__MRS_R_0006_0018__BROWN)
      & has_arg1(R_0006_0008__WRITE_R_0006_0016__TO,R_0006_0009__A_R_0006_0010__LETTER)
      & r_0006_0009__a_r_0006_0010__letter(R_0006_0009__A_R_0006_0010__LETTER)
      & has_r_0006_0011__on(R_0006_0009__A_R_0006_0010__LETTER,R_0006_0012__BEHALF)
      & r_0006_0012__behalf(R_0006_0012__BEHALF)
      & has_r_0006_0013__of(R_0006_0012__BEHALF,R_0006_0015__CLASS)
      & r_0006_0015__class(R_0006_0015__CLASS)
      & has_gen(R_0006_0015__CLASS,R_0006_0014__YOUR)
      & has_nim(R_0006_0008__WRITE_R_0006_0016__TO,R_0006_0001__THEN)
      & ! [Z_0006_5011,R_0006_0005__THE_R_0006_0006__INFORMATION] :
          ( ( r_0006_0005__the_r_0006_0006__information(R_0006_0005__THE_R_0006_0006__INFORMATION)
            & z_0006_5011(Z_0006_5011)
            & has_nim(Z_0006_5011,R_0006_0005__THE_R_0006_0006__INFORMATION) )
         => ? [R_0006_0003__USING] :
              ( r_0006_0003__using(R_0006_0003__USING)
              & has_arg1(R_0006_0003__USING,Z_0006_5011)
              & has_arg0(R_0006_0003__USING,R_0006_0017__MRS_R_0006_0018__BROWN) ) ) ) ).