18_a_fce_0102_2001_03
The school where you learn English has decided to buy some videos in English.
arc(r_0018_0005__learn, r_0018_0001__The_r_0018_0002__school, nim8).
arc(r_0018_0005__learn, r_0018_0004__you, arg0).
arc(r_0018_0005__learn, r_0018_0006__English, arg1).
arc(r_0018_0007__has, r_0018_0008__decided, scope).
arc(r_0018_0008__decided, r_0018_0001__The_r_0018_0002__school, arg0).
arc(r_0018_0008__decided, r_0018_0009__to_r_0018_0010__buy, arg1).
arc(r_0018_0009__to_r_0018_0010__buy, r_0018_0001__The_r_0018_0002__school, arg0).
arc(r_0018_0009__to_r_0018_0010__buy, r_0018_0011__some_r_0018_0012__videos, arg1).
arc(r_0018_0011__some_r_0018_0012__videos, r_0018_0014__English, r_0018_0013__in).
fof(formula,axiom,
? [R_18_5_LEARN,R_18_4_YOU,R_18_6_ENGLISH,R_18_7_HAS_DECIDED,R_18_9_TO_BUY,R_18_1_THE_SCHOOL,R_18_11_SOME_VIDEOS,R_18_14_ENGLISH] :
( you(R_18_4_YOU)
& english(R_18_6_ENGLISH)
& the_school(R_18_1_THE_SCHOOL)
& english(R_18_14_ENGLISH)
& learn(R_18_5_LEARN,R_18_4_YOU,R_18_6_ENGLISH)
& nim8(R_18_5_LEARN,R_18_1_THE_SCHOOL)
& has_decided(R_18_7_HAS_DECIDED,R_18_1_THE_SCHOOL,R_18_9_TO_BUY)
& to_buy(R_18_9_TO_BUY,R_18_1_THE_SCHOOL,R_18_11_SOME_VIDEOS)
& some_videos(R_18_11_SOME_VIDEOS)
& in(R_18_11_SOME_VIDEOS,R_18_14_ENGLISH) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N school;{school})
(IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ (PRO you;{you}))
(VBP;_Tn_ learn;{learn})
(NP-OB1 (NPR English;{English}))))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Tt_ decided;{decide})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ buy;{buy})
(NP-OB1 (D some;{some})
(NS videos;{video})
(PP (P-ROLE in;{in})
(NP (NPR English;{English}))))))
(PUNC .))
(ID 18_a_fce_0102_2001_03))