TSPC 129_a_ted_talk

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.

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

arc(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_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_0011__teaches_r_0129_0015__to,r_0129_0004__an_r_0129_0005__education_r_0129_0006__system,inv_arg0).
arc(r_0129_0011__teaches_r_0129_0015__to,r_0129_0012__dance,arg1).
arc(r_0129_0011__teaches_r_0129_0015__to,r_0129_0014__day,nim).
arc(r_0129_0011__teaches_r_0129_0015__to,r_0129_0016__children,arg2).
arc(r_0129_0011__teaches_r_0129_0015__to,r_0129_0017__the_r_0129_0018__way,nim).
arc(r_0129_0013__every__quant,r_0129_0011__teaches_r_0129_0015__to,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,emb).
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).

fof(formula,axiom,
    ( ! [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_0022__MATHEMATICS,R_0129_0020__TEACH,R_0129_0017__THE_R_0129_0018__WAY,R_0129_0011__TEACHES_R_0129_0015__TO] :
            ( 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_0022__mathematics(R_0129_0022__MATHEMATICS)
            & r_0129_0011__teaches_r_0129_0015__to(R_0129_0011__TEACHES_R_0129_0015__TO)
            & has_nim(R_0129_0011__TEACHES_R_0129_0015__TO,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_emb(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_arg0(R_0129_0020__TEACH,R_0129_0019__WE)
            & has_arg2(R_0129_0020__TEACH,R_0129_0016__CHILDREN)
            & has_arg2(R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0016__CHILDREN)
            & has_nim(R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0014__DAY)
            & has_arg1(R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0012__DANCE) ) )
    & ~ ? [R_0129_0008__THE_R_0129_0009__PLANET,R_0129_0012__DANCE,R_0129_0014__DAY,R_0129_0016__CHILDREN,R_0129_0019__WE,R_0129_0022__MATHEMATICS,R_0129_0020__TEACH,R_0129_0017__THE_R_0129_0018__WAY,R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM,R_0129_0002__IS] :
          ( r_0129_0008__the_r_0129_0009__planet(R_0129_0008__THE_R_0129_0009__PLANET)
          & r_0129_0012__dance(R_0129_0012__DANCE)
          & r_0129_0014__day(R_0129_0014__DAY)
          & r_0129_0016__children(R_0129_0016__CHILDREN)
          & r_0129_0019__we(R_0129_0019__WE)
          & r_0129_0022__mathematics(R_0129_0022__MATHEMATICS)
          & r_0129_0002__is(R_0129_0002__IS)
          & has_arg0(R_0129_0002__IS,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_inv_arg0(R_0129_0004__AN_R_0129_0005__EDUCATION_R_0129_0006__SYSTEM,R_0129_0011__TEACHES_R_0129_0015__TO)
          & r_0129_0011__teaches_r_0129_0015__to(R_0129_0011__TEACHES_R_0129_0015__TO)
          & has_nim(R_0129_0011__TEACHES_R_0129_0015__TO,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_emb(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_arg0(R_0129_0020__TEACH,R_0129_0019__WE)
          & has_arg2(R_0129_0020__TEACH,R_0129_0016__CHILDREN)
          & has_arg2(R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0016__CHILDREN)
          & has_nim(R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0014__DAY)
          & has_arg1(R_0129_0011__TEACHES_R_0129_0015__TO,R_0129_0012__DANCE)
          & 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) ) ) ).