129_a_ted_talk_11
There isn't an education system on the planet that teaches dance every day to children the way we teach them mathematics.

%3 r_0129_0001__There_r_0129_0002__is_r_0129_0003__n_apos_t There is n't r_0129_0004__an_r_0129_0005__education_r_0129_0006__system an education system r_0129_0001__There_r_0129_0002__is_r_0129_0003__n_apos_t->r_0129_0004__an_r_0129_0005__education_r_0129_0006__system [arg0] r_0129_0008__the_r_0129_0009__planet the planet r_0129_0004__an_r_0129_0005__education_r_0129_0006__system->r_0129_0008__the_r_0129_0009__planet on r_0129_0010__that_r_0129_0011__teaches that teaches r_0129_0010__that_r_0129_0011__teaches->r_0129_0004__an_r_0129_0005__education_r_0129_0006__system [arg0] r_0129_0012__dance dance r_0129_0010__that_r_0129_0011__teaches->r_0129_0012__dance [arg1] r_0129_0014__day day r_0129_0010__that_r_0129_0011__teaches->r_0129_0014__day [nim] r_0129_0016__children children r_0129_0010__that_r_0129_0011__teaches->r_0129_0016__children to [clr] r_0129_0017__the_r_0129_0018__way the way r_0129_0010__that_r_0129_0011__teaches->r_0129_0017__the_r_0129_0018__way [nim] r_0129_0020__teach teach r_0129_0017__the_r_0129_0018__way->r_0129_0020__teach [emb] r_0129_0013__every_quant every [quant] r_0129_0013__every_quant->r_0129_0010__that_r_0129_0011__teaches [scope] r_0129_0013__every_quant->r_0129_0014__day [restriction] r_0129_0019__we we r_0129_0020__teach->r_0129_0019__we [arg0] r_0129_0021__them them r_0129_0020__teach->r_0129_0021__them [arg2] r_0129_0022__mathematics mathematics r_0129_0020__teach->r_0129_0022__mathematics [arg1]
arc(r_0129_0001__There_r_0129_0002__is_r_0129_0003__n_apos_t, r_0129_0004__an_r_0129_0005__education_r_0129_0006__system, arg0).
arc(r_0129_0004__an_r_0129_0005__education_r_0129_0006__system, r_0129_0008__the_r_0129_0009__planet, r_0129_0007__on).
arc(r_0129_0010__that_r_0129_0011__teaches, r_0129_0004__an_r_0129_0005__education_r_0129_0006__system, arg0).
arc(r_0129_0010__that_r_0129_0011__teaches, r_0129_0012__dance, arg1).
arc(r_0129_0010__that_r_0129_0011__teaches, r_0129_0014__day, nim33).
arc(r_0129_0010__that_r_0129_0011__teaches, r_0129_0016__children, r_0129_0015__to_clr41).
arc(r_0129_0010__that_r_0129_0011__teaches, r_0129_0017__the_r_0129_0018__way, nim44).
arc(r_0129_0013__every_quant, r_0129_0010__that_r_0129_0011__teaches, scope).
arc(r_0129_0013__every_quant, r_0129_0014__day, restriction).
arc(r_0129_0017__the_r_0129_0018__way, r_0129_0020__teach, emb50).
arc(r_0129_0020__teach, r_0129_0019__we, arg0).
arc(r_0129_0020__teach, r_0129_0021__them, arg2).
arc(r_0129_0020__teach, r_0129_0022__mathematics, arg1).



%3 r_0129_0020__teach teach r_0129_0022__mathematics mathematics r_0129_0020__teach->r_0129_0022__mathematics [arg1] r_0129_0021__them them r_0129_0020__teach->r_0129_0021__them [arg2] r_0129_0019__we we r_0129_0020__teach->r_0129_0019__we [arg0] r_0129_0017__the_r_0129_0018__way the way r_0129_0017__the_r_0129_0018__way->r_0129_0020__teach [emb] r_0129_0013__every_quant every [quant] r_0129_0014__day day r_0129_0013__every_quant->r_0129_0014__day [restriction] r_0129_0010__that_r_0129_0011__teaches that teaches r_0129_0013__every_quant->r_0129_0010__that_r_0129_0011__teaches [scope] r_0129_0010__that_r_0129_0011__teaches->r_0129_0017__the_r_0129_0018__way [nim] r_0129_0010__that_r_0129_0011__teaches->r_0129_0014__day [nim] r_0129_0016__children children r_0129_0010__that_r_0129_0011__teaches->r_0129_0016__children to [clr] r_0129_0012__dance dance r_0129_0010__that_r_0129_0011__teaches->r_0129_0012__dance [arg1] r_0129_0004__an_r_0129_0005__education_r_0129_0006__system an education system r_0129_0010__that_r_0129_0011__teaches->r_0129_0004__an_r_0129_0005__education_r_0129_0006__system [arg0] r_0129_0008__the_r_0129_0009__planet the planet r_0129_0004__an_r_0129_0005__education_r_0129_0006__system->r_0129_0008__the_r_0129_0009__planet on r_0129_0001__There_r_0129_0002__is_r_0129_0003__n_apos_t There is n't r_0129_0001__There_r_0129_0002__is_r_0129_0003__n_apos_t->r_0129_0004__an_r_0129_0005__education_r_0129_0006__system [arg0]
fof(formula,axiom,
    ? [R_0129_0008__THE_R_0129_0009__PLANET,R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM,R_0129_0001__THERE_R_0129_0002__IS_R_0129_0003__N_APOS_T] :
      ( r_0129_0008__the_r_0129_0009__planet(R_0129_0008__THE_R_0129_0009__PLANET)
      & ! [R_0129_0014__DAY] :
          ( r_0129_0014__day(R_0129_0014__DAY)
         => ? [R_0129_0012__DANCE,R_0129_0016__CHILDREN,R_0129_0019__WE,R_0129_0021__THEM,R_0129_0022__MATHEMATICS,R_0129_0020__TEACH,R_0129_0017__THE_R_0129_0018__WAY,R_0129_0010__THAT_R_0129_0011__TEACHES] :
              ( r_0129_0012__dance(R_0129_0012__DANCE)
              & r_0129_0016__children(R_0129_0016__CHILDREN)
              & r_0129_0019__we(R_0129_0019__WE)
              & r_0129_0021__them(R_0129_0021__THEM)
              & r_0129_0022__mathematics(R_0129_0022__MATHEMATICS)
              & r_0129_0010__that_r_0129_0011__teaches(R_0129_0010__THAT_R_0129_0011__TEACHES)
              & has_nim44(R_0129_0010__THAT_R_0129_0011__TEACHES,R_0129_0017__THE_R_0129_0018__WAY)
              & r_0129_0017__the_r_0129_0018__way(R_0129_0017__THE_R_0129_0018__WAY)
              & has_emb50(R_0129_0017__THE_R_0129_0018__WAY,R_0129_0020__TEACH)
              & r_0129_0020__teach(R_0129_0020__TEACH)
              & has_arg1(R_0129_0020__TEACH,R_0129_0022__MATHEMATICS)
              & has_arg2(R_0129_0020__TEACH,R_0129_0021__THEM)
              & has_arg0(R_0129_0020__TEACH,R_0129_0019__WE)
              & has_r_0129_0015__to_clr41(R_0129_0010__THAT_R_0129_0011__TEACHES,R_0129_0016__CHILDREN)
              & has_nim33(R_0129_0010__THAT_R_0129_0011__TEACHES,R_0129_0014__DAY)
              & has_arg1(R_0129_0010__THAT_R_0129_0011__TEACHES,R_0129_0012__DANCE)
              & has_arg0(R_0129_0010__THAT_R_0129_0011__TEACHES,R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM) ) )
      & ~ ( has_arg0(R_0129_0001__THERE_R_0129_0002__IS_R_0129_0003__N_APOS_T,R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM)
          & r_0129_0004__an_r_0129_0005__education_r_0129_0006__system(R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM)
          & has_r_0129_0007__on(R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM,R_0129_0008__THE_R_0129_0009__PLANET) ) ) ).



n129_a_ted_talk_11 n129_a_ted_talk_11__1_1_1 There n129_a_ted_talk_11__1_2_1 is n129_a_ted_talk_11__1_3_1 n't n129_a_ted_talk_11__1_4_1_1 an n129_a_ted_talk_11__1_4_2_1 education n129_a_ted_talk_11__1_4_3_1 system n129_a_ted_talk_11__1_4_4_1_1 on n129_a_ted_talk_11__1_4_4_2_1_1 the n129_a_ted_talk_11__1_4_4_2_2_1 planet n129_a_ted_talk_11__1_4_5_1_1 that n129_a_ted_talk_11__1_4_5_2_1 *T* n129_a_ted_talk_11__1_4_5_3_1 teaches n129_a_ted_talk_11__1_4_5_4_1_1 dance n129_a_ted_talk_11__1_4_5_5_1_1 every n129_a_ted_talk_11__1_4_5_5_2_1 day n129_a_ted_talk_11__1_4_5_6_1_1 to n129_a_ted_talk_11__1_4_5_6_2_1_1 children n129_a_ted_talk_11__1_4_5_7_1_1 the n129_a_ted_talk_11__1_4_5_7_2_1 way n129_a_ted_talk_11__1_4_5_7_3_1_1_1_1 we n129_a_ted_talk_11__1_4_5_7_3_1_2_1 teach n129_a_ted_talk_11__1_4_5_7_3_1_3_1_1 them n129_a_ted_talk_11__1_4_5_7_3_1_4_1_1 mathematics n129_a_ted_talk_11__1_5_1 . n129_a_ted_talk_11__1 IP-MAT n129_a_ted_talk_11__1_1 EX n129_a_ted_talk_11__1->n129_a_ted_talk_11__1_1 n129_a_ted_talk_11__1_2 BEP;_ex_V_ n129_a_ted_talk_11__1->n129_a_ted_talk_11__1_2 n129_a_ted_talk_11__1_3 NEG;_clitic_ n129_a_ted_talk_11__1->n129_a_ted_talk_11__1_3 n129_a_ted_talk_11__1_4 NP-ESBJ n129_a_ted_talk_11__1->n129_a_ted_talk_11__1_4 n129_a_ted_talk_11__1_5 PUNC n129_a_ted_talk_11__1->n129_a_ted_talk_11__1_5 n129_a_ted_talk_11__1_1->n129_a_ted_talk_11__1_1_1 n129_a_ted_talk_11__1_2->n129_a_ted_talk_11__1_2_1 n129_a_ted_talk_11__1_3->n129_a_ted_talk_11__1_3_1 n129_a_ted_talk_11__1_4_1 D n129_a_ted_talk_11__1_4->n129_a_ted_talk_11__1_4_1 n129_a_ted_talk_11__1_4_2 N n129_a_ted_talk_11__1_4->n129_a_ted_talk_11__1_4_2 n129_a_ted_talk_11__1_4_3 N n129_a_ted_talk_11__1_4->n129_a_ted_talk_11__1_4_3 n129_a_ted_talk_11__1_4_4 PP n129_a_ted_talk_11__1_4->n129_a_ted_talk_11__1_4_4 n129_a_ted_talk_11__1_4_5 IP-REL n129_a_ted_talk_11__1_4->n129_a_ted_talk_11__1_4_5 n129_a_ted_talk_11__1_4_1->n129_a_ted_talk_11__1_4_1_1 n129_a_ted_talk_11__1_4_2->n129_a_ted_talk_11__1_4_2_1 n129_a_ted_talk_11__1_4_3->n129_a_ted_talk_11__1_4_3_1 n129_a_ted_talk_11__1_4_4_1 P-ROLE n129_a_ted_talk_11__1_4_4->n129_a_ted_talk_11__1_4_4_1 n129_a_ted_talk_11__1_4_4_2 NP n129_a_ted_talk_11__1_4_4->n129_a_ted_talk_11__1_4_4_2 n129_a_ted_talk_11__1_4_4_1->n129_a_ted_talk_11__1_4_4_1_1 n129_a_ted_talk_11__1_4_4_2_1 D n129_a_ted_talk_11__1_4_4_2->n129_a_ted_talk_11__1_4_4_2_1 n129_a_ted_talk_11__1_4_4_2_2 N n129_a_ted_talk_11__1_4_4_2->n129_a_ted_talk_11__1_4_4_2_2 n129_a_ted_talk_11__1_4_4_2_1->n129_a_ted_talk_11__1_4_4_2_1_1 n129_a_ted_talk_11__1_4_4_2_2->n129_a_ted_talk_11__1_4_4_2_2_1 n129_a_ted_talk_11__1_4_5_1 C n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_1 n129_a_ted_talk_11__1_4_5_2 NP-SBJ n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_2 n129_a_ted_talk_11__1_4_5_3 VBP;_Tn.pr_ n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_3 n129_a_ted_talk_11__1_4_5_4 NP-OB1 n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_4 n129_a_ted_talk_11__1_4_5_5 NP-NIM n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_5 n129_a_ted_talk_11__1_4_5_6 PP-CLR n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_6 n129_a_ted_talk_11__1_4_5_7 NP-NIM n129_a_ted_talk_11__1_4_5->n129_a_ted_talk_11__1_4_5_7 n129_a_ted_talk_11__1_4_5_1->n129_a_ted_talk_11__1_4_5_1_1 n129_a_ted_talk_11__1_4_5_2->n129_a_ted_talk_11__1_4_5_2_1 n129_a_ted_talk_11__1_4_5_3->n129_a_ted_talk_11__1_4_5_3_1 n129_a_ted_talk_11__1_4_5_4_1 N n129_a_ted_talk_11__1_4_5_4->n129_a_ted_talk_11__1_4_5_4_1 n129_a_ted_talk_11__1_4_5_4_1->n129_a_ted_talk_11__1_4_5_4_1_1 n129_a_ted_talk_11__1_4_5_5_1 Q n129_a_ted_talk_11__1_4_5_5->n129_a_ted_talk_11__1_4_5_5_1 n129_a_ted_talk_11__1_4_5_5_2 N n129_a_ted_talk_11__1_4_5_5->n129_a_ted_talk_11__1_4_5_5_2 n129_a_ted_talk_11__1_4_5_5_1->n129_a_ted_talk_11__1_4_5_5_1_1 n129_a_ted_talk_11__1_4_5_5_2->n129_a_ted_talk_11__1_4_5_5_2_1 n129_a_ted_talk_11__1_4_5_6_1 P-ROLE n129_a_ted_talk_11__1_4_5_6->n129_a_ted_talk_11__1_4_5_6_1 n129_a_ted_talk_11__1_4_5_6_2 NP n129_a_ted_talk_11__1_4_5_6->n129_a_ted_talk_11__1_4_5_6_2 n129_a_ted_talk_11__1_4_5_6_1->n129_a_ted_talk_11__1_4_5_6_1_1 n129_a_ted_talk_11__1_4_5_6_2_1 NS n129_a_ted_talk_11__1_4_5_6_2->n129_a_ted_talk_11__1_4_5_6_2_1 n129_a_ted_talk_11__1_4_5_6_2_1->n129_a_ted_talk_11__1_4_5_6_2_1_1 n129_a_ted_talk_11__1_4_5_7_1 D n129_a_ted_talk_11__1_4_5_7->n129_a_ted_talk_11__1_4_5_7_1 n129_a_ted_talk_11__1_4_5_7_2 N n129_a_ted_talk_11__1_4_5_7->n129_a_ted_talk_11__1_4_5_7_2 n129_a_ted_talk_11__1_4_5_7_3 CP-THT n129_a_ted_talk_11__1_4_5_7->n129_a_ted_talk_11__1_4_5_7_3 n129_a_ted_talk_11__1_4_5_7_1->n129_a_ted_talk_11__1_4_5_7_1_1 n129_a_ted_talk_11__1_4_5_7_2->n129_a_ted_talk_11__1_4_5_7_2_1 n129_a_ted_talk_11__1_4_5_7_3_1 IP-SUB n129_a_ted_talk_11__1_4_5_7_3->n129_a_ted_talk_11__1_4_5_7_3_1 n129_a_ted_talk_11__1_4_5_7_3_1_1 NP-SBJ n129_a_ted_talk_11__1_4_5_7_3_1->n129_a_ted_talk_11__1_4_5_7_3_1_1 n129_a_ted_talk_11__1_4_5_7_3_1_2 VBP;_Dn.n_ n129_a_ted_talk_11__1_4_5_7_3_1->n129_a_ted_talk_11__1_4_5_7_3_1_2 n129_a_ted_talk_11__1_4_5_7_3_1_3 NP-OB2 n129_a_ted_talk_11__1_4_5_7_3_1->n129_a_ted_talk_11__1_4_5_7_3_1_3 n129_a_ted_talk_11__1_4_5_7_3_1_4 NP-OB1 n129_a_ted_talk_11__1_4_5_7_3_1->n129_a_ted_talk_11__1_4_5_7_3_1_4 n129_a_ted_talk_11__1_4_5_7_3_1_1_1 PRO n129_a_ted_talk_11__1_4_5_7_3_1_1->n129_a_ted_talk_11__1_4_5_7_3_1_1_1 n129_a_ted_talk_11__1_4_5_7_3_1_1_1->n129_a_ted_talk_11__1_4_5_7_3_1_1_1_1 n129_a_ted_talk_11__1_4_5_7_3_1_2->n129_a_ted_talk_11__1_4_5_7_3_1_2_1 n129_a_ted_talk_11__1_4_5_7_3_1_3_1 PRO n129_a_ted_talk_11__1_4_5_7_3_1_3->n129_a_ted_talk_11__1_4_5_7_3_1_3_1 n129_a_ted_talk_11__1_4_5_7_3_1_3_1->n129_a_ted_talk_11__1_4_5_7_3_1_3_1_1 n129_a_ted_talk_11__1_4_5_7_3_1_4_1 N n129_a_ted_talk_11__1_4_5_7_3_1_4->n129_a_ted_talk_11__1_4_5_7_3_1_4_1 n129_a_ted_talk_11__1_4_5_7_3_1_4_1->n129_a_ted_talk_11__1_4_5_7_3_1_4_1_1 n129_a_ted_talk_11__1_5->n129_a_ted_talk_11__1_5_1
( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ is;{be})
          (NEG;_clitic_ n<apos>t;{not})
          (NP-ESBJ (D an;{an})
                   (N education;{education})
                   (N system;{system})
                   (PP (P-ROLE on;{on})
                       (NP (D the;{the})
                           (N planet;{planet})))
                   (IP-REL (C that;{that})
                           (NP-SBJ *T*)
                           (VBP;_Tn.pr_ teaches;{teach[to]})
                           (NP-OB1 (N dance;{dance}))
                           (NP-NIM (Q every;{every})
                                   (N day;{day}))
                           (PP-CLR (P-ROLE to;{to})
                                   (NP;{CHILDREN} (NS children;{child})))
                           (NP-NIM (D the;{the})
                                   (N way;{way})
                                   (CP-THT (IP-SUB (NP-SBJ (PRO we;{we}))
                                                   (VBP;_Dn.n_ teach;{teach})
                                                   (NP-OB2;{CHILDREN} (PRO them;{they}))
                                                   (NP-OB1 (N mathematics;{mathematics})))))))
          (PUNC .))
  (ID 129_a_ted_talk_11))