( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N reply;{reply}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{SMITH} (PRO her;{her})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ including;{include})
                            (NP-OB1 (Q;_nphd_ all;{all})
                                    (NLYR (D the;{the})
                                          (N information;{information})
                                          (IP-REL (NP-SBJ;{SMITH} (PRO she;{she}))
                                                  (VBP;_phr_Vpr_ asks;{ask[for]})
                                                  (PP-CLR (P-ROLE for;{for})
                                                          (NP *T*)))))))
          (PUNC .))
  (ID 7_a_fce_0100_2001_06))

arc(r_0007_0002__write_r_0007_0005__to,r_0007_0001__Then,nim).
arc(r_0007_0002__write_r_0007_0005__to,r_0007_0003__a_r_0007_0004__reply,arg1).
arc(r_0007_0002__write_r_0007_0005__to,r_0007_0006__her,arg2).
arc(r_0007_0002__write_r_0007_0005__to,z_0007_5002,arg0).
arc(r_0007_0008__including,z_0007_5002,arg0).
arc(r_0007_0008__including,z_0007_5011,arg1).
arc(r_0007_0009__all__quant,r_0007_0008__including,scope).
arc(r_0007_0009__all__quant,z_0007_5011,restriction).
arc(r_0007_0013__asks,r_0007_0006__her,arg0).
arc(r_0007_0013__asks,r_0007_0010__the_r_0007_0011__information,r_0007_0014__for__inv_clr).
arc(z_0007_5004,r_0007_0002__write_r_0007_0005__to,scope).
arc(z_0007_5004,r_0007_0009__all__quant,restriction).
arc(z_0007_5011,r_0007_0010__the_r_0007_0011__information,nim).

fof(formula,axiom,
    ? [R_0007_0001__THEN,R_0007_0003__A_R_0007_0004__REPLY,R_0007_0006__HER,Z_0007_5002,R_0007_0002__WRITE_R_0007_0005__TO,Z_0007_5004] :
      ( r_0007_0001__Then(R_0007_0001__THEN)
      & r_0007_0003__a_r_0007_0004__reply(R_0007_0003__A_R_0007_0004__REPLY)
      & r_0007_0006__her(R_0007_0006__HER)
      & z_0007_5002(Z_0007_5002)
      & z_0007_5004(Z_0007_5004)
      & ! [Z_0007_5011,R_0007_0013__ASKS,R_0007_0010__THE_R_0007_0011__INFORMATION] :
          ( ( z_0007_5011(Z_0007_5011)
            & has_nim(Z_0007_5011,R_0007_0010__THE_R_0007_0011__INFORMATION)
            & r_0007_0010__the_r_0007_0011__information(R_0007_0010__THE_R_0007_0011__INFORMATION)
            & has_r_0007_0014__for__inv_clr(R_0007_0010__THE_R_0007_0011__INFORMATION,R_0007_0013__ASKS)
            & r_0007_0013__asks(R_0007_0013__ASKS)
            & has_arg0(R_0007_0013__ASKS,R_0007_0006__HER) )
         => ? [R_0007_0008__INCLUDING] :
              ( r_0007_0008__including(R_0007_0008__INCLUDING)
              & has_arg1(R_0007_0008__INCLUDING,Z_0007_5011)
              & has_arg0(R_0007_0008__INCLUDING,Z_0007_5002) ) )
      & has_conj2(Z_0007_5004,R_0007_0002__WRITE_R_0007_0005__TO)
      & r_0007_0002__write_r_0007_0005__to(R_0007_0002__WRITE_R_0007_0005__TO)
      & has_arg0(R_0007_0002__WRITE_R_0007_0005__TO,Z_0007_5002)
      & has_arg2(R_0007_0002__WRITE_R_0007_0005__TO,R_0007_0006__HER)
      & has_arg1(R_0007_0002__WRITE_R_0007_0005__TO,R_0007_0003__A_R_0007_0004__REPLY)
      & has_nim(R_0007_0002__WRITE_R_0007_0005__TO,R_0007_0001__THEN) ) ).