13_a_fce_0102_2000_12
You see the following notice in a student magazine.
( (IP-MAT (NP-SBJ (PRO You;{you}))
(VBP;_Tn_ see;{see})
(NP-OB1 (D the;{the})
(ADJP (ADJ following;{following}))
(N notice;{notice}))
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N student;{student})
(N magazine;{magazine})))
(PUNC .))
(ID 13_a_fce_0102_2000_12))
arc(r_0013_0002__see,r_0013_0001__You,arg0).
arc(r_0013_0002__see,r_0013_0003__the_r_0013_0005__notice,arg1).
arc(r_0013_0002__see,r_0013_0007__a_r_0013_0008__student_r_0013_0009__magazine,r_0013_0006__in__nim).
arc(r_0013_0003__the_r_0013_0005__notice,r_0013_0004__following,attrib).
fof(formula,axiom,
? [R_0013_0001__YOU,R_0013_0004__FOLLOWING,R_0013_0003__THE_R_0013_0005__NOTICE,R_0013_0007__A_R_0013_0008__STUDENT_R_0013_0009__MAGAZINE,R_0013_0002__SEE] :
( r_0013_0001__You(R_0013_0001__YOU)
& r_0013_0004__following(R_0013_0004__FOLLOWING)
& r_0013_0007__a_r_0013_0008__student_r_0013_0009__magazine(R_0013_0007__A_R_0013_0008__STUDENT_R_0013_0009__MAGAZINE)
& r_0013_0002__see(R_0013_0002__SEE)
& has_r_0013_0006__in__nim(R_0013_0002__SEE,R_0013_0007__A_R_0013_0008__STUDENT_R_0013_0009__MAGAZINE)
& has_arg1(R_0013_0002__SEE,R_0013_0003__THE_R_0013_0005__NOTICE)
& ~ has_attrib(R_0013_0003__THE_R_0013_0005__NOTICE,R_0013_0004__FOLLOWING)
& has_arg0(R_0013_0002__SEE,R_0013_0001__YOU) ) ).