( (IP-IMP (VB;_Tn_ Read;{read})
          (NP-OB1 (NLYR (NLYR (D the;{the})
                              (N extract;{extract})
                              (PP (P-ROLE from;{from})
                                  (NP (NP-GEN;{PETE} (PRO;_genm_ his;{his}))
                                      (N letter;{letter}))))
                        (CONJP (CONJ and;{and})
                               (NLYR (NP-GEN (PRO;_genm_ your;{your}))
                                     (NS notes;{note})))))
          (PUNC .))
  (ID 5_a_fce_0102_2001_03))

arc(r_0005_0001__Read,r_0005_0007__and,arg1).
arc(r_0005_0001__Read,z_0005_5002,arg0).
arc(r_0005_0002__the_r_0005_0003__extract,r_0005_0006__letter,r_0005_0004__from).
arc(r_0005_0006__letter,r_0005_0005__his,gen).
arc(r_0005_0007__and,r_0005_0002__the_r_0005_0003__extract,conj1).
arc(r_0005_0007__and,r_0005_0009__notes,conj2).
arc(r_0005_0009__notes,r_0005_0008__your,gen).

fof(formula,axiom,
    ? [R_0005_0005__HIS,R_0005_0006__LETTER,R_0005_0002__THE_R_0005_0003__EXTRACT,R_0005_0008__YOUR,R_0005_0009__NOTES,R_0005_0007__AND,Z_0005_5002,R_0005_0001__READ] :
      ( r_0005_0005__his(R_0005_0005__HIS)
      & r_0005_0008__your(R_0005_0008__YOUR)
      & z_0005_5002(Z_0005_5002)
      & r_0005_0001__Read(R_0005_0001__READ)
      & has_arg0(R_0005_0001__READ,Z_0005_5002)
      & has_arg1(R_0005_0001__READ,R_0005_0007__AND)
      & r_0005_0007__and(R_0005_0007__AND)
      & has_conj2(R_0005_0007__AND,R_0005_0009__NOTES)
      & ~ has_gen(R_0005_0009__NOTES,R_0005_0008__YOUR)
      & has_conj1(R_0005_0007__AND,R_0005_0002__THE_R_0005_0003__EXTRACT)
      & r_0005_0002__the_r_0005_0003__extract(R_0005_0002__THE_R_0005_0003__EXTRACT)
      & has_r_0005_0004__from(R_0005_0002__THE_R_0005_0003__EXTRACT,R_0005_0006__LETTER)
      & r_0005_0006__letter(R_0005_0006__LETTER)
      & has_gen(R_0005_0006__LETTER,R_0005_0005__HIS) ) ).