5_a_fce_0102_2000_06
Read the advertisement for the show and the notes you have made.
( (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) ) ).