Context                Previous, Next                Top


18_a_fce_0102_2001_03
The school where you learn English has decided to buy some videos in English.

%3 r_0018_0005__learn learn r_0018_0001__The_r_0018_0002__school The school r_0018_0005__learn->r_0018_0001__The_r_0018_0002__school [nim] r_0018_0004__you you r_0018_0005__learn->r_0018_0004__you [arg0] r_0018_0006__English English r_0018_0005__learn->r_0018_0006__English [arg1] r_0018_0007__has has r_0018_0008__decided decided r_0018_0007__has->r_0018_0008__decided [scope] r_0018_0008__decided->r_0018_0001__The_r_0018_0002__school [arg0] r_0018_0009__to_r_0018_0010__buy to buy r_0018_0008__decided->r_0018_0009__to_r_0018_0010__buy [arg1] r_0018_0009__to_r_0018_0010__buy->r_0018_0001__The_r_0018_0002__school [arg0] r_0018_0011__some_r_0018_0012__videos some videos r_0018_0009__to_r_0018_0010__buy->r_0018_0011__some_r_0018_0012__videos [arg1] r_0018_0014__English English r_0018_0011__some_r_0018_0012__videos->r_0018_0014__English in 
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).


%3 r_0018_0005__learn learn r_0018_0001__The_r_0018_0002__school The school r_0018_0005__learn->r_0018_0001__The_r_0018_0002__school [nim] r_0018_0004__you you r_0018_0005__learn->r_0018_0004__you [arg0] r_0018_0006__English English r_0018_0005__learn->r_0018_0006__English [arg1] r_0018_0007__has_r_0018_0008__decided has decided r_0018_0007__has_r_0018_0008__decided->r_0018_0001__The_r_0018_0002__school [arg0] r_0018_0009__to_r_0018_0010__buy to buy r_0018_0007__has_r_0018_0008__decided->r_0018_0009__to_r_0018_0010__buy [arg1] r_0018_0009__to_r_0018_0010__buy->r_0018_0001__The_r_0018_0002__school [arg0] r_0018_0011__some_r_0018_0012__videos some videos r_0018_0009__to_r_0018_0010__buy->r_0018_0011__some_r_0018_0012__videos [arg1] r_0018_0014__English English r_0018_0011__some_r_0018_0012__videos->r_0018_0014__English 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) ) ).


n18_a_fce_0102_2001_03 n18_a_fce_0102_2001_03_4 The n18_a_fce_0102_2001_03_6 school n18_a_fce_0102_2001_03_10 where n18_a_fce_0102_2001_03_13 you n18_a_fce_0102_2001_03_15 learn n18_a_fce_0102_2001_03_18 English n18_a_fce_0102_2001_03_20 has n18_a_fce_0102_2001_03_23 decided n18_a_fce_0102_2001_03_26 to n18_a_fce_0102_2001_03_28 buy n18_a_fce_0102_2001_03_31 some n18_a_fce_0102_2001_03_33 videos n18_a_fce_0102_2001_03_36 in n18_a_fce_0102_2001_03_39 English n18_a_fce_0102_2001_03_41 . n18_a_fce_0102_2001_03_1 IP-MAT n18_a_fce_0102_2001_03_2 NP-SBJ n18_a_fce_0102_2001_03_1->n18_a_fce_0102_2001_03_2 n18_a_fce_0102_2001_03_19 HVP;_cat_Ve_ n18_a_fce_0102_2001_03_1->n18_a_fce_0102_2001_03_19 n18_a_fce_0102_2001_03_21 IP-PPL-CAT n18_a_fce_0102_2001_03_1->n18_a_fce_0102_2001_03_21 n18_a_fce_0102_2001_03_40 PUNC n18_a_fce_0102_2001_03_1->n18_a_fce_0102_2001_03_40 n18_a_fce_0102_2001_03_3 D n18_a_fce_0102_2001_03_2->n18_a_fce_0102_2001_03_3 n18_a_fce_0102_2001_03_5 N n18_a_fce_0102_2001_03_2->n18_a_fce_0102_2001_03_5 n18_a_fce_0102_2001_03_7 IP-REL n18_a_fce_0102_2001_03_2->n18_a_fce_0102_2001_03_7 n18_a_fce_0102_2001_03_3->n18_a_fce_0102_2001_03_4 n18_a_fce_0102_2001_03_5->n18_a_fce_0102_2001_03_6 n18_a_fce_0102_2001_03_8 ADVP-NIM n18_a_fce_0102_2001_03_7->n18_a_fce_0102_2001_03_8 n18_a_fce_0102_2001_03_11 NP-SBJ n18_a_fce_0102_2001_03_7->n18_a_fce_0102_2001_03_11 n18_a_fce_0102_2001_03_14 VBP;_Tn_ n18_a_fce_0102_2001_03_7->n18_a_fce_0102_2001_03_14 n18_a_fce_0102_2001_03_16 NP-OB1 n18_a_fce_0102_2001_03_7->n18_a_fce_0102_2001_03_16 n18_a_fce_0102_2001_03_9 RADV n18_a_fce_0102_2001_03_8->n18_a_fce_0102_2001_03_9 n18_a_fce_0102_2001_03_9->n18_a_fce_0102_2001_03_10 n18_a_fce_0102_2001_03_12 PRO n18_a_fce_0102_2001_03_11->n18_a_fce_0102_2001_03_12 n18_a_fce_0102_2001_03_12->n18_a_fce_0102_2001_03_13 n18_a_fce_0102_2001_03_14->n18_a_fce_0102_2001_03_15 n18_a_fce_0102_2001_03_17 NPR n18_a_fce_0102_2001_03_16->n18_a_fce_0102_2001_03_17 n18_a_fce_0102_2001_03_17->n18_a_fce_0102_2001_03_18 n18_a_fce_0102_2001_03_19->n18_a_fce_0102_2001_03_20 n18_a_fce_0102_2001_03_22 VVN;_Tt_ n18_a_fce_0102_2001_03_21->n18_a_fce_0102_2001_03_22 n18_a_fce_0102_2001_03_24 IP-INF-OB1 n18_a_fce_0102_2001_03_21->n18_a_fce_0102_2001_03_24 n18_a_fce_0102_2001_03_22->n18_a_fce_0102_2001_03_23 n18_a_fce_0102_2001_03_25 TO n18_a_fce_0102_2001_03_24->n18_a_fce_0102_2001_03_25 n18_a_fce_0102_2001_03_27 VB;_Tn_ n18_a_fce_0102_2001_03_24->n18_a_fce_0102_2001_03_27 n18_a_fce_0102_2001_03_29 NP-OB1 n18_a_fce_0102_2001_03_24->n18_a_fce_0102_2001_03_29 n18_a_fce_0102_2001_03_25->n18_a_fce_0102_2001_03_26 n18_a_fce_0102_2001_03_27->n18_a_fce_0102_2001_03_28 n18_a_fce_0102_2001_03_30 D n18_a_fce_0102_2001_03_29->n18_a_fce_0102_2001_03_30 n18_a_fce_0102_2001_03_32 NS n18_a_fce_0102_2001_03_29->n18_a_fce_0102_2001_03_32 n18_a_fce_0102_2001_03_34 PP n18_a_fce_0102_2001_03_29->n18_a_fce_0102_2001_03_34 n18_a_fce_0102_2001_03_30->n18_a_fce_0102_2001_03_31 n18_a_fce_0102_2001_03_32->n18_a_fce_0102_2001_03_33 n18_a_fce_0102_2001_03_35 P-ROLE n18_a_fce_0102_2001_03_34->n18_a_fce_0102_2001_03_35 n18_a_fce_0102_2001_03_37 NP n18_a_fce_0102_2001_03_34->n18_a_fce_0102_2001_03_37 n18_a_fce_0102_2001_03_35->n18_a_fce_0102_2001_03_36 n18_a_fce_0102_2001_03_38 NPR n18_a_fce_0102_2001_03_37->n18_a_fce_0102_2001_03_38 n18_a_fce_0102_2001_03_38->n18_a_fce_0102_2001_03_39 n18_a_fce_0102_2001_03_40->n18_a_fce_0102_2001_03_41 
( (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))