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

arc(r_0005_0001__Read,r_0005_0002__the_r_0005_0003__extract,arg1).
arc(r_0005_0001__Read,z_0005_5002,arg0).
arc(r_0005_0002__the_r_0005_0003__extract,r_0005_0007__and,r_0005_0004__from).
arc(r_0005_0006__diary,r_0005_0005__your,gen).
arc(r_0005_0007__and,r_0005_0006__diary,conj1).
arc(r_0005_0007__and,r_0005_0009__notes,conj2).
arc(r_0005_0009__notes,r_0005_0005__your,gen).

fof(formula,axiom,
    ? [R_0005_0005__YOUR,R_0005_0006__DIARY,R_0005_0009__NOTES,R_0005_0007__AND,R_0005_0002__THE_R_0005_0003__EXTRACT,Z_0005_5002,R_0005_0001__READ] :
      ( r_0005_0005__your(R_0005_0005__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_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_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_0005__YOUR)
      & has_conj1(R_0005_0007__AND,R_0005_0006__DIARY)
      & r_0005_0006__diary(R_0005_0006__DIARY)
      & has_gen(R_0005_0006__DIARY,R_0005_0005__YOUR) ) ).