( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{BELINDA} (NPR Belinda;{Belinda})
                                (NPR Marriott;{Marriott})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ including;{include})
                            (NP-OB1 (Q;_nphd_ all;{all})
                                    (NLYR (D the;{the})
                                          (N information;{information})
                                          (PP (P-ROLE in;{in})
                                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                  (NS notes;{note})))))))
          (PUNC .))
  (ID 6_a_fce_0102_2001_06))

arc(r_0006_0002__write_r_0006_0005__to,r_0006_0001__Then,nim).
arc(r_0006_0002__write_r_0006_0005__to,r_0006_0003__a_r_0006_0004__letter,arg1).
arc(r_0006_0002__write_r_0006_0005__to,r_0006_0006__Belinda_r_0006_0007__Marriott,arg2).
arc(r_0006_0002__write_r_0006_0005__to,z_0006_5002,arg0).
arc(r_0006_0009__including,z_0006_5002,arg0).
arc(r_0006_0009__including,z_0006_5010,arg1).
arc(r_0006_0010__all__quant,r_0006_0009__including,scope).
arc(r_0006_0010__all__quant,z_0006_5010,restriction).
arc(r_0006_0011__the_r_0006_0012__information,r_0006_0015__notes,r_0006_0013__in).
arc(r_0006_0015__notes,r_0006_0014__your,gen).
arc(z_0006_5004,r_0006_0002__write_r_0006_0005__to,scope).
arc(z_0006_5004,r_0006_0010__all__quant,restriction).
arc(z_0006_5010,r_0006_0011__the_r_0006_0012__information,nim).

fof(formula,axiom,
    ? [R_0006_0001__THEN,R_0006_0003__A_R_0006_0004__LETTER,R_0006_0006__BELINDA_R_0006_0007__MARRIOTT,Z_0006_5002,R_0006_0002__WRITE_R_0006_0005__TO,Z_0006_5004] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0003__a_r_0006_0004__letter(R_0006_0003__A_R_0006_0004__LETTER)
      & r_0006_0006__Belinda_r_0006_0007__Marriott(R_0006_0006__BELINDA_R_0006_0007__MARRIOTT)
      & z_0006_5002(Z_0006_5002)
      & z_0006_5004(Z_0006_5004)
      & ! [Z_0006_5010,R_0006_0014__YOUR,R_0006_0015__NOTES,R_0006_0011__THE_R_0006_0012__INFORMATION] :
          ( ( r_0006_0014__your(R_0006_0014__YOUR)
            & z_0006_5010(Z_0006_5010)
            & has_nim(Z_0006_5010,R_0006_0011__THE_R_0006_0012__INFORMATION)
            & r_0006_0011__the_r_0006_0012__information(R_0006_0011__THE_R_0006_0012__INFORMATION)
            & has_r_0006_0013__in(R_0006_0011__THE_R_0006_0012__INFORMATION,R_0006_0015__NOTES)
            & ~ has_gen(R_0006_0015__NOTES,R_0006_0014__YOUR) )
         => ? [R_0006_0009__INCLUDING] :
              ( r_0006_0009__including(R_0006_0009__INCLUDING)
              & has_arg1(R_0006_0009__INCLUDING,Z_0006_5010)
              & has_arg0(R_0006_0009__INCLUDING,Z_0006_5002) ) )
      & has_conj2(Z_0006_5004,R_0006_0002__WRITE_R_0006_0005__TO)
      & r_0006_0002__write_r_0006_0005__to(R_0006_0002__WRITE_R_0006_0005__TO)
      & has_arg0(R_0006_0002__WRITE_R_0006_0005__TO,Z_0006_5002)
      & has_arg2(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0006__BELINDA_R_0006_0007__MARRIOTT)
      & has_arg1(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0003__A_R_0006_0004__LETTER)
      & has_nim(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0001__THEN) ) ).