( (IP-IMP (VB;_Tn_ Read;{read})
          (NP-OB1 (D the;{the})
                  (N advertisement;{advertisement})
                  (PP (P-ROLE for;{for})
                      (NP (D the;{the})
                          (N festival;{festival})
                          (ADVP (ADV below;{below}))))
                  (PUNC ,)
                  (IP-REL (PP-133 (P-ROLE on;{on})
                                  (NP (RPRO which;{which})))
                          (NP-SBJ (PRO you;{you}))
                          (HVP;_cat_Ve_ have;{have})
                          (IP-PPL-CAT (VVN;_Tn_ made;{make})
                                      (NP-OB1 (D some;{some})
                                              (NS notes;{note})
                                              (PP *ICH*-133)))))
          (PUNC .))
  (ID 5_a_fce_0102_2000_12))

arc(r_0005_0001__Read,r_0005_0002__the_r_0005_0003__advertisement,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__festival,r_0005_0004__for).
arc(r_0005_0005__the_r_0005_0006__festival,r_0005_0007__below,qual).
arc(r_0005_0012__have,r_0005_0013__made,scope).
arc(r_0005_0013__made,r_0005_0011__you,arg0).
arc(r_0005_0013__made,r_0005_0014__some_r_0005_0015__notes,arg1).
arc(r_0005_0014__some_r_0005_0015__notes,r_0005_0002__the_r_0005_0003__advertisement,r_0005_0009__on).

fof(formula,axiom,
    ? [R_0005_0007__BELOW,R_0005_0005__THE_R_0005_0006__FESTIVAL,R_0005_0002__THE_R_0005_0003__ADVERTISEMENT,Z_0005_5002,R_0005_0001__READ,R_0005_0011__YOU,R_0005_0014__SOME_R_0005_0015__NOTES,R_0005_0012__HAVE_R_0005_0013__MADE] :
      ( r_0005_0007__below(R_0005_0007__BELOW)
      & r_0005_0011__you(R_0005_0011__YOU)
      & z_0005_5002(Z_0005_5002)
      & r_0005_0012__have_r_0005_0013__made(R_0005_0012__HAVE_R_0005_0013__MADE)
      & has_arg1(R_0005_0012__HAVE_R_0005_0013__MADE,R_0005_0014__SOME_R_0005_0015__NOTES)
      & ~ ( has_r_0005_0009__on(R_0005_0014__SOME_R_0005_0015__NOTES,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__FESTIVAL)
          & r_0005_0005__the_r_0005_0006__festival(R_0005_0005__THE_R_0005_0006__FESTIVAL)
          & has_qual(R_0005_0005__THE_R_0005_0006__FESTIVAL,R_0005_0007__BELOW) )
      & has_arg0(R_0005_0012__HAVE_R_0005_0013__MADE,R_0005_0011__YOU)
      & 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__ADVERTISEMENT) ) ).