( (IP-IMP (VB;_Tn_ Read;{read})
          (NP-OB1 (NLYR (NLYR (D the;{the})
                              (N advertisement;{advertisement})
                              (PP (P-ROLE for;{for})
                                  (NP (D the;{the})
                                      (N show;{show}))))
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (NS notes;{note})
                                     (IP-REL (NP-SBJ (PRO you;{you}))
                                             (HVP;_cat_Ve_ have;{have})
                                             (IP-PPL-CAT (NP-OB1 *T*)
                                                         (VVN;_Tn_ made;{make})))))))
          (PUNC .))
  (ID 5_a_fce_0102_2000_06))

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__advertisement,r_0005_0005__the_r_0005_0006__show,r_0005_0004__for).
arc(r_0005_0007__and,r_0005_0002__the_r_0005_0003__advertisement,conj1).
arc(r_0005_0007__and,r_0005_0008__the_r_0005_0009__notes,conj2).
arc(r_0005_0011__have,r_0005_0012__made,scope).
arc(r_0005_0012__made,r_0005_0008__the_r_0005_0009__notes,inv_arg1).
arc(r_0005_0012__made,r_0005_0010__you,arg0).

fof(formula,axiom,
    ? [R_0005_0005__THE_R_0005_0006__SHOW,R_0005_0002__THE_R_0005_0003__ADVERTISEMENT,R_0005_0010__YOU,R_0005_0011__HAVE_R_0005_0012__MADE,R_0005_0008__THE_R_0005_0009__NOTES,R_0005_0007__AND,Z_0005_5002,R_0005_0001__READ] :
      ( r_0005_0005__the_r_0005_0006__show(R_0005_0005__THE_R_0005_0006__SHOW)
      & r_0005_0010__you(R_0005_0010__YOU)
      & 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_0008__THE_R_0005_0009__NOTES)
      & ~ ( has_inv_arg1(R_0005_0008__THE_R_0005_0009__NOTES,R_0005_0011__HAVE_R_0005_0012__MADE)
          & r_0005_0011__have_r_0005_0012__made(R_0005_0011__HAVE_R_0005_0012__MADE)
          & has_arg0(R_0005_0011__HAVE_R_0005_0012__MADE,R_0005_0010__YOU) )
      & has_conj1(R_0005_0007__AND,R_0005_0002__THE_R_0005_0003__ADVERTISEMENT)
      & r_0005_0002__the_r_0005_0003__advertisement(R_0005_0002__THE_R_0005_0003__ADVERTISEMENT)
      & has_r_0005_0004__for(R_0005_0002__THE_R_0005_0003__ADVERTISEMENT,R_0005_0005__THE_R_0005_0006__SHOW) ) ).