Context                Previous, Next                Top


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 There is 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_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_0003__n_apos_t n't r_0129_0003__n_apos_t->r_0129_0001__There_r_0129_0002__is [keep_scope] 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_0004__an_r_0129_0005__education_r_0129_0006__system, arg0).
arc(r_0129_0003__n_apos_t, r_0129_0001__There_r_0129_0002__is, keep_scope).
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_0003__n_apos_t n't r_0129_0001__There_r_0129_0002__is There is r_0129_0003__n_apos_t->r_0129_0001__There_r_0129_0002__is [keep_scope] r_0129_0001__There_r_0129_0002__is->r_0129_0004__an_r_0129_0005__education_r_0129_0006__system [arg0] 
fof(formula,axiom,
    ( ~ ? [R_129_1_THERE_IS,R_129_4_AN_EDUCATION_SYSTEM,R_129_8_THE_PLANET] :
          ( the_planet(R_129_8_THE_PLANET)
          & there_is(R_129_1_THERE_IS,R_129_4_AN_EDUCATION_SYSTEM)
          & an_education_system(R_129_4_AN_EDUCATION_SYSTEM)
          & on(R_129_4_AN_EDUCATION_SYSTEM,R_129_8_THE_PLANET) )
    & ! [R_129_14_DAY] :
        ( day(R_129_14_DAY)
       => ? [R_129_10_THAT_TEACHES,R_129_4_AN_EDUCATION_SYSTEM,R_129_8_THE_PLANET,R_129_12_DANCE,R_129_17_THE_WAY,R_129_20_TEACH,R_129_19_WE,R_129_22_MATHEMATICS,R_129_21_THEM,R_129_16_CHILDREN] :
            ( the_planet(R_129_8_THE_PLANET)
            & dance(R_129_12_DANCE)
            & we(R_129_19_WE)
            & mathematics(R_129_22_MATHEMATICS)
            & them(R_129_21_THEM)
            & children(R_129_16_CHILDREN)
            & that_teaches(R_129_10_THAT_TEACHES,R_129_4_AN_EDUCATION_SYSTEM,R_129_12_DANCE)
            & an_education_system(R_129_4_AN_EDUCATION_SYSTEM)
            & on(R_129_4_AN_EDUCATION_SYSTEM,R_129_8_THE_PLANET)
            & nim33(R_129_10_THAT_TEACHES,R_129_14_DAY)
            & nim44(R_129_10_THAT_TEACHES,R_129_17_THE_WAY)
            & the_way(R_129_17_THE_WAY)
            & emb50(R_129_17_THE_WAY,R_129_20_TEACH)
            & teach(R_129_20_TEACH,R_129_19_WE,R_129_22_MATHEMATICS,R_129_21_THEM)
            & to_clr41(R_129_10_THAT_TEACHES,R_129_16_CHILDREN) ) ) ) ).


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))