21_a_fce_0102_2001_12
You have seen this announcement in Leisure and Entertainment magazine.
arc(r_0021_0002__have, r_0021_0003__seen, scope).
arc(r_0021_0003__seen, r_0021_0001__You, arg0).
arc(r_0021_0003__seen, r_0021_0004__this_r_0021_0005__announcement, arg1).
arc(r_0021_0003__seen, r_0021_0007__Leisure_and_Entertainment_r_0021_0008__magazine, r_0021_0006__in_nim18).
fof(formula,axiom,
? [R_21_2_HAVE_SEEN,R_21_1_YOU,R_21_4_THIS_ANNOUNCEMENT,R_21_7_LEISURE_AND_ENTERTAINMENT_MAGAZINE] :
( you(R_21_1_YOU)
& this_announcement(R_21_4_THIS_ANNOUNCEMENT)
& leisure_and_Entertainment_magazine(R_21_7_LEISURE_AND_ENTERTAINMENT_MAGAZINE)
& have_seen(R_21_2_HAVE_SEEN,R_21_1_YOU,R_21_4_THIS_ANNOUNCEMENT)
& in_nim18(R_21_2_HAVE_SEEN,R_21_7_LEISURE_AND_ENTERTAINMENT_MAGAZINE) ) ).
( (IP-MAT (NP-SBJ (PRO You;{you}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;_Tn_ seen;{see})
(NP-OB1 (D this;{this})
(N announcement;{announcement}))
(PP-NIM (P-ROLE in;{in})
(NP (NPR Leisure_and_Entertainment)
(N magazine;{magazine}))))
(PUNC .))
(ID 21_a_fce_0102_2001_12))