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_0020__teach->r_0129_0016__children [arg2] r_0129_0019__we we r_0129_0020__teach->r_0129_0019__we [arg0] 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_0016__children, arg2).
arc(r_0129_0020__teach, r_0129_0019__we, arg0).
arc(r_0129_0020__teach, r_0129_0022__mathematics, arg1).


%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_0020__teach->r_0129_0016__children [arg2] r_0129_0019__we we r_0129_0020__teach->r_0129_0019__we [arg0] r_0129_0022__mathematics mathematics r_0129_0020__teach->r_0129_0022__mathematics [arg1] 
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_16_CHILDREN] :
            ( the_planet(R_129_8_THE_PLANET)
            & dance(R_129_12_DANCE)
            & we(R_129_19_WE)
            & mathematics(R_129_22_MATHEMATICS)
            & 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_16_CHILDREN)
            & to_clr41(R_129_10_THAT_TEACHES,R_129_16_CHILDREN) ) ) ) ).


n129_a_ted_talk_11 n129_a_ted_talk_11_3 There n129_a_ted_talk_11_5 is n129_a_ted_talk_11_7 n't n129_a_ted_talk_11_10 an n129_a_ted_talk_11_12 education n129_a_ted_talk_11_14 system n129_a_ted_talk_11_17 on n129_a_ted_talk_11_20 the n129_a_ted_talk_11_22 planet n129_a_ted_talk_11_25 that n129_a_ted_talk_11_27 *T* n129_a_ted_talk_11_29 teaches n129_a_ted_talk_11_32 dance n129_a_ted_talk_11_35 every n129_a_ted_talk_11_37 day n129_a_ted_talk_11_40 to n129_a_ted_talk_11_43 children n129_a_ted_talk_11_46 the n129_a_ted_talk_11_48 way n129_a_ted_talk_11_53 we n129_a_ted_talk_11_55 teach n129_a_ted_talk_11_58 them n129_a_ted_talk_11_61 mathematics n129_a_ted_talk_11_63 . n129_a_ted_talk_11_1 IP-MAT n129_a_ted_talk_11_2 EX n129_a_ted_talk_11_1->n129_a_ted_talk_11_2 n129_a_ted_talk_11_4 BEP;_ex_V_ n129_a_ted_talk_11_1->n129_a_ted_talk_11_4 n129_a_ted_talk_11_6 NEG;_clitic_ n129_a_ted_talk_11_1->n129_a_ted_talk_11_6 n129_a_ted_talk_11_8 NP-ESBJ n129_a_ted_talk_11_1->n129_a_ted_talk_11_8 n129_a_ted_talk_11_62 PUNC n129_a_ted_talk_11_1->n129_a_ted_talk_11_62 n129_a_ted_talk_11_2->n129_a_ted_talk_11_3 n129_a_ted_talk_11_4->n129_a_ted_talk_11_5 n129_a_ted_talk_11_6->n129_a_ted_talk_11_7 n129_a_ted_talk_11_9 D n129_a_ted_talk_11_8->n129_a_ted_talk_11_9 n129_a_ted_talk_11_11 N n129_a_ted_talk_11_8->n129_a_ted_talk_11_11 n129_a_ted_talk_11_13 N n129_a_ted_talk_11_8->n129_a_ted_talk_11_13 n129_a_ted_talk_11_15 PP n129_a_ted_talk_11_8->n129_a_ted_talk_11_15 n129_a_ted_talk_11_23 IP-REL n129_a_ted_talk_11_8->n129_a_ted_talk_11_23 n129_a_ted_talk_11_9->n129_a_ted_talk_11_10 n129_a_ted_talk_11_11->n129_a_ted_talk_11_12 n129_a_ted_talk_11_13->n129_a_ted_talk_11_14 n129_a_ted_talk_11_16 P-ROLE n129_a_ted_talk_11_15->n129_a_ted_talk_11_16 n129_a_ted_talk_11_18 NP n129_a_ted_talk_11_15->n129_a_ted_talk_11_18 n129_a_ted_talk_11_16->n129_a_ted_talk_11_17 n129_a_ted_talk_11_19 D n129_a_ted_talk_11_18->n129_a_ted_talk_11_19 n129_a_ted_talk_11_21 N n129_a_ted_talk_11_18->n129_a_ted_talk_11_21 n129_a_ted_talk_11_19->n129_a_ted_talk_11_20 n129_a_ted_talk_11_21->n129_a_ted_talk_11_22 n129_a_ted_talk_11_24 C n129_a_ted_talk_11_23->n129_a_ted_talk_11_24 n129_a_ted_talk_11_26 NP-SBJ n129_a_ted_talk_11_23->n129_a_ted_talk_11_26 n129_a_ted_talk_11_28 VBP;_Tn.pr_ n129_a_ted_talk_11_23->n129_a_ted_talk_11_28 n129_a_ted_talk_11_30 NP-OB1 n129_a_ted_talk_11_23->n129_a_ted_talk_11_30 n129_a_ted_talk_11_33 NP-NIM n129_a_ted_talk_11_23->n129_a_ted_talk_11_33 n129_a_ted_talk_11_38 PP-CLR n129_a_ted_talk_11_23->n129_a_ted_talk_11_38 n129_a_ted_talk_11_44 NP-NIM n129_a_ted_talk_11_23->n129_a_ted_talk_11_44 n129_a_ted_talk_11_24->n129_a_ted_talk_11_25 n129_a_ted_talk_11_26->n129_a_ted_talk_11_27 n129_a_ted_talk_11_28->n129_a_ted_talk_11_29 n129_a_ted_talk_11_31 N n129_a_ted_talk_11_30->n129_a_ted_talk_11_31 n129_a_ted_talk_11_31->n129_a_ted_talk_11_32 n129_a_ted_talk_11_34 Q n129_a_ted_talk_11_33->n129_a_ted_talk_11_34 n129_a_ted_talk_11_36 N n129_a_ted_talk_11_33->n129_a_ted_talk_11_36 n129_a_ted_talk_11_34->n129_a_ted_talk_11_35 n129_a_ted_talk_11_36->n129_a_ted_talk_11_37 n129_a_ted_talk_11_39 P-ROLE n129_a_ted_talk_11_38->n129_a_ted_talk_11_39 n129_a_ted_talk_11_41 NP n129_a_ted_talk_11_38->n129_a_ted_talk_11_41 n129_a_ted_talk_11_39->n129_a_ted_talk_11_40 n129_a_ted_talk_11_42 NS n129_a_ted_talk_11_41->n129_a_ted_talk_11_42 n129_a_ted_talk_11_42->n129_a_ted_talk_11_43 n129_a_ted_talk_11_45 D n129_a_ted_talk_11_44->n129_a_ted_talk_11_45 n129_a_ted_talk_11_47 N n129_a_ted_talk_11_44->n129_a_ted_talk_11_47 n129_a_ted_talk_11_49 CP-THT n129_a_ted_talk_11_44->n129_a_ted_talk_11_49 n129_a_ted_talk_11_45->n129_a_ted_talk_11_46 n129_a_ted_talk_11_47->n129_a_ted_talk_11_48 n129_a_ted_talk_11_50 IP-SUB n129_a_ted_talk_11_49->n129_a_ted_talk_11_50 n129_a_ted_talk_11_51 NP-SBJ n129_a_ted_talk_11_50->n129_a_ted_talk_11_51 n129_a_ted_talk_11_54 VBP;_Dn.n_ n129_a_ted_talk_11_50->n129_a_ted_talk_11_54 n129_a_ted_talk_11_56 NP-OB2 n129_a_ted_talk_11_50->n129_a_ted_talk_11_56 n129_a_ted_talk_11_59 NP-OB1 n129_a_ted_talk_11_50->n129_a_ted_talk_11_59 n129_a_ted_talk_11_52 PRO n129_a_ted_talk_11_51->n129_a_ted_talk_11_52 n129_a_ted_talk_11_52->n129_a_ted_talk_11_53 n129_a_ted_talk_11_54->n129_a_ted_talk_11_55 n129_a_ted_talk_11_57 PRO n129_a_ted_talk_11_56->n129_a_ted_talk_11_57 n129_a_ted_talk_11_57->n129_a_ted_talk_11_58 n129_a_ted_talk_11_60 N n129_a_ted_talk_11_59->n129_a_ted_talk_11_60 n129_a_ted_talk_11_60->n129_a_ted_talk_11_61 n129_a_ted_talk_11_62->n129_a_ted_talk_11_63 
( (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))