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_0011__some_r_0018_0012__videos some videos r_0018_0014__English English r_0018_0011__some_r_0018_0012__videos->r_0018_0014__English in r_0018_0009__to_r_0018_0010__buy to buy r_0018_0009__to_r_0018_0010__buy->r_0018_0011__some_r_0018_0012__videos [arg1] r_0018_0001__The_r_0018_0002__school The school r_0018_0009__to_r_0018_0010__buy->r_0018_0001__The_r_0018_0002__school [arg0] r_0018_0007__has_r_0018_0008__decided has decided r_0018_0007__has_r_0018_0008__decided->r_0018_0009__to_r_0018_0010__buy [arg1] r_0018_0007__has_r_0018_0008__decided->r_0018_0001__The_r_0018_0002__school [arg0] r_0018_0005__learn learn r_0018_0005__learn->r_0018_0001__The_r_0018_0002__school [nim] r_0018_0006__English English r_0018_0005__learn->r_0018_0006__English [arg1] r_0018_0004__you you r_0018_0005__learn->r_0018_0004__you [arg0] 
fof(formula,axiom,
    ? [R_0018_0001__THE_R_0018_0002__SCHOOL,R_0018_0004__YOU,R_0018_0006__ENGLISH,R_0018_0005__LEARN,R_0018_0014__ENGLISH,R_0018_0011__SOME_R_0018_0012__VIDEOS,R_0018_0009__TO_R_0018_0010__BUY,R_0018_0007__HAS_R_0018_0008__DECIDED] :
      ( r_0018_0001__The_r_0018_0002__school(R_0018_0001__THE_R_0018_0002__SCHOOL)
      & r_0018_0004__you(R_0018_0004__YOU)
      & r_0018_0006__English(R_0018_0006__ENGLISH)
      & r_0018_0014__English(R_0018_0014__ENGLISH)
      & r_0018_0007__has_r_0018_0008__decided(R_0018_0007__HAS_R_0018_0008__DECIDED)
      & has_arg1(R_0018_0007__HAS_R_0018_0008__DECIDED,R_0018_0009__TO_R_0018_0010__BUY)
      & r_0018_0009__to_r_0018_0010__buy(R_0018_0009__TO_R_0018_0010__BUY)
      & has_arg1(R_0018_0009__TO_R_0018_0010__BUY,R_0018_0011__SOME_R_0018_0012__VIDEOS)
      & r_0018_0011__some_r_0018_0012__videos(R_0018_0011__SOME_R_0018_0012__VIDEOS)
      & has_r_0018_0013__in(R_0018_0011__SOME_R_0018_0012__VIDEOS,R_0018_0014__ENGLISH)
      & has_arg0(R_0018_0009__TO_R_0018_0010__BUY,R_0018_0001__THE_R_0018_0002__SCHOOL)
      & has_arg0(R_0018_0007__HAS_R_0018_0008__DECIDED,R_0018_0001__THE_R_0018_0002__SCHOOL)
      & r_0018_0005__learn(R_0018_0005__LEARN)
      & has_arg1(R_0018_0005__LEARN,R_0018_0006__ENGLISH)
      & has_arg0(R_0018_0005__LEARN,R_0018_0004__YOU)
      & has_nim8(R_0018_0005__LEARN,R_0018_0001__THE_R_0018_0002__SCHOOL) ) ).


n18_a_fce_0102_2001_03 n18_a_fce_0102_2001_03__1_1_1_1 The n18_a_fce_0102_2001_03__1_1_2_1 school n18_a_fce_0102_2001_03__1_1_3_1_1_1 where n18_a_fce_0102_2001_03__1_1_3_2_1_1 you n18_a_fce_0102_2001_03__1_1_3_3_1 learn n18_a_fce_0102_2001_03__1_1_3_4_1_1 English n18_a_fce_0102_2001_03__1_2_1 has n18_a_fce_0102_2001_03__1_3_1_1 decided n18_a_fce_0102_2001_03__1_3_2_1_1 to n18_a_fce_0102_2001_03__1_3_2_2_1 buy n18_a_fce_0102_2001_03__1_3_2_3_1_1 some n18_a_fce_0102_2001_03__1_3_2_3_2_1 videos n18_a_fce_0102_2001_03__1_3_2_3_3_1_1 in n18_a_fce_0102_2001_03__1_3_2_3_3_2_1_1 English n18_a_fce_0102_2001_03__1_4_1 . n18_a_fce_0102_2001_03__1 IP-MAT n18_a_fce_0102_2001_03__1_1 NP-SBJ n18_a_fce_0102_2001_03__1->n18_a_fce_0102_2001_03__1_1 n18_a_fce_0102_2001_03__1_2 HVP;_cat_Ve_ n18_a_fce_0102_2001_03__1->n18_a_fce_0102_2001_03__1_2 n18_a_fce_0102_2001_03__1_3 IP-PPL-CAT n18_a_fce_0102_2001_03__1->n18_a_fce_0102_2001_03__1_3 n18_a_fce_0102_2001_03__1_4 PUNC n18_a_fce_0102_2001_03__1->n18_a_fce_0102_2001_03__1_4 n18_a_fce_0102_2001_03__1_1_1 D n18_a_fce_0102_2001_03__1_1->n18_a_fce_0102_2001_03__1_1_1 n18_a_fce_0102_2001_03__1_1_2 N n18_a_fce_0102_2001_03__1_1->n18_a_fce_0102_2001_03__1_1_2 n18_a_fce_0102_2001_03__1_1_3 IP-REL n18_a_fce_0102_2001_03__1_1->n18_a_fce_0102_2001_03__1_1_3 n18_a_fce_0102_2001_03__1_1_1->n18_a_fce_0102_2001_03__1_1_1_1 n18_a_fce_0102_2001_03__1_1_2->n18_a_fce_0102_2001_03__1_1_2_1 n18_a_fce_0102_2001_03__1_1_3_1 ADVP-NIM n18_a_fce_0102_2001_03__1_1_3->n18_a_fce_0102_2001_03__1_1_3_1 n18_a_fce_0102_2001_03__1_1_3_2 NP-SBJ n18_a_fce_0102_2001_03__1_1_3->n18_a_fce_0102_2001_03__1_1_3_2 n18_a_fce_0102_2001_03__1_1_3_3 VBP;_Tn_ n18_a_fce_0102_2001_03__1_1_3->n18_a_fce_0102_2001_03__1_1_3_3 n18_a_fce_0102_2001_03__1_1_3_4 NP-OB1 n18_a_fce_0102_2001_03__1_1_3->n18_a_fce_0102_2001_03__1_1_3_4 n18_a_fce_0102_2001_03__1_1_3_1_1 RADV n18_a_fce_0102_2001_03__1_1_3_1->n18_a_fce_0102_2001_03__1_1_3_1_1 n18_a_fce_0102_2001_03__1_1_3_1_1->n18_a_fce_0102_2001_03__1_1_3_1_1_1 n18_a_fce_0102_2001_03__1_1_3_2_1 PRO n18_a_fce_0102_2001_03__1_1_3_2->n18_a_fce_0102_2001_03__1_1_3_2_1 n18_a_fce_0102_2001_03__1_1_3_2_1->n18_a_fce_0102_2001_03__1_1_3_2_1_1 n18_a_fce_0102_2001_03__1_1_3_3->n18_a_fce_0102_2001_03__1_1_3_3_1 n18_a_fce_0102_2001_03__1_1_3_4_1 NPR n18_a_fce_0102_2001_03__1_1_3_4->n18_a_fce_0102_2001_03__1_1_3_4_1 n18_a_fce_0102_2001_03__1_1_3_4_1->n18_a_fce_0102_2001_03__1_1_3_4_1_1 n18_a_fce_0102_2001_03__1_2->n18_a_fce_0102_2001_03__1_2_1 n18_a_fce_0102_2001_03__1_3_1 VVN;_Tt_ n18_a_fce_0102_2001_03__1_3->n18_a_fce_0102_2001_03__1_3_1 n18_a_fce_0102_2001_03__1_3_2 IP-INF-OB1 n18_a_fce_0102_2001_03__1_3->n18_a_fce_0102_2001_03__1_3_2 n18_a_fce_0102_2001_03__1_3_1->n18_a_fce_0102_2001_03__1_3_1_1 n18_a_fce_0102_2001_03__1_3_2_1 TO n18_a_fce_0102_2001_03__1_3_2->n18_a_fce_0102_2001_03__1_3_2_1 n18_a_fce_0102_2001_03__1_3_2_2 VB;_Tn_ n18_a_fce_0102_2001_03__1_3_2->n18_a_fce_0102_2001_03__1_3_2_2 n18_a_fce_0102_2001_03__1_3_2_3 NP-OB1 n18_a_fce_0102_2001_03__1_3_2->n18_a_fce_0102_2001_03__1_3_2_3 n18_a_fce_0102_2001_03__1_3_2_1->n18_a_fce_0102_2001_03__1_3_2_1_1 n18_a_fce_0102_2001_03__1_3_2_2->n18_a_fce_0102_2001_03__1_3_2_2_1 n18_a_fce_0102_2001_03__1_3_2_3_1 D n18_a_fce_0102_2001_03__1_3_2_3->n18_a_fce_0102_2001_03__1_3_2_3_1 n18_a_fce_0102_2001_03__1_3_2_3_2 NS n18_a_fce_0102_2001_03__1_3_2_3->n18_a_fce_0102_2001_03__1_3_2_3_2 n18_a_fce_0102_2001_03__1_3_2_3_3 PP n18_a_fce_0102_2001_03__1_3_2_3->n18_a_fce_0102_2001_03__1_3_2_3_3 n18_a_fce_0102_2001_03__1_3_2_3_1->n18_a_fce_0102_2001_03__1_3_2_3_1_1 n18_a_fce_0102_2001_03__1_3_2_3_2->n18_a_fce_0102_2001_03__1_3_2_3_2_1 n18_a_fce_0102_2001_03__1_3_2_3_3_1 P-ROLE n18_a_fce_0102_2001_03__1_3_2_3_3->n18_a_fce_0102_2001_03__1_3_2_3_3_1 n18_a_fce_0102_2001_03__1_3_2_3_3_2 NP n18_a_fce_0102_2001_03__1_3_2_3_3->n18_a_fce_0102_2001_03__1_3_2_3_3_2 n18_a_fce_0102_2001_03__1_3_2_3_3_1->n18_a_fce_0102_2001_03__1_3_2_3_3_1_1 n18_a_fce_0102_2001_03__1_3_2_3_3_2_1 NPR n18_a_fce_0102_2001_03__1_3_2_3_3_2->n18_a_fce_0102_2001_03__1_3_2_3_3_2_1 n18_a_fce_0102_2001_03__1_3_2_3_3_2_1->n18_a_fce_0102_2001_03__1_3_2_3_3_2_1_1 n18_a_fce_0102_2001_03__1_4->n18_a_fce_0102_2001_03__1_4_1 
( (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))