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