16_a_fce_0102_2000_06
You have seen this notice in an international student magazine.
arc(r_0016_0002__have, r_0016_0003__seen, scope).
arc(r_0016_0003__seen, r_0016_0001__You, arg0).
arc(r_0016_0003__seen, r_0016_0004__this_r_0016_0005__notice, arg1).
arc(r_0016_0003__seen, r_0016_0007__an_r_0016_0009__student_r_0016_0010__magazine, r_0016_0006__in_nim18).
arc(r_0016_0007__an_r_0016_0009__student_r_0016_0010__magazine, r_0016_0008__international, attrib21).
fof(formula,axiom,
? [R_16_2_HAVE_SEEN,R_16_1_YOU,R_16_4_THIS_NOTICE,R_16_7_AN_STUDENT_MAGAZINE,R_16_8_INTERNATIONAL] :
( you(R_16_1_YOU)
& this_notice(R_16_4_THIS_NOTICE)
& international(R_16_8_INTERNATIONAL)
& have_seen(R_16_2_HAVE_SEEN,R_16_1_YOU,R_16_4_THIS_NOTICE)
& in_nim18(R_16_2_HAVE_SEEN,R_16_7_AN_STUDENT_MAGAZINE)
& an_student_magazine(R_16_7_AN_STUDENT_MAGAZINE)
& attrib21(R_16_7_AN_STUDENT_MAGAZINE,R_16_8_INTERNATIONAL) ) ).
( (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 notice;{notice}))
(PP-NIM (P-ROLE in;{in})
(NP (D an;{an})
(ADJP (ADJ international;{international}))
(N student;{student})
(N magazine;{magazine}))))
(PUNC .))
(ID 16_a_fce_0102_2000_06))