TSPC 137_a_ted_talk

137_a_ted_talk_11
Truthfully, what happens is, as children grow up, we start to educate them progressively from the waist up.

( (IP-MAT (ADVP-NIM (ADV Truthfully;{truthfully}))
          (PUNC ,)
          (NP-SBJ (IP-REL (NP-SBJ (RPRO what;{what}))
                          (VBP;_I_ happens;{happen})))
          (BEP;_equ_Vf_ is;{be})
          (PUNC ,)
          (CP-THT-PRD (IP-SUB (PP-SCON (P-CONN as;{as})
                                       (IP-ADV (NP-SBJ (NS children;{child}))
                                               (VBP;_phr_Vp_ grow;{grow[up]})
                                               (RP up;{up})))
                              (PUNC ,)
                              (NP-SBJ (PRO we;{we}))
                              (VBP;_cat_Vt_ start;{start})
                              (IP-INF-CAT (TO to;{to})
                                          (VB;_Tn_ educate;{educate})
                                          (NP-OB1 (PRO them;{they}))
                                          (ADVP-NIM (ADV progressively;{progressively}))
                                          (PP-NIM (P-ROLE from;{from})
                                                  (NP (D the;{the})
                                                      (N waist;{waist})))
                                          (ADVP-NIM (RP up;{up})))))
          (PUNC .))
  (ID 137_a_ted_talk_11))

arc(r_0137_0004__happens,r_0137_0003__what,arg0).
arc(r_0137_0005__is,r_0137_0001__Truthfully,nim).
arc(r_0137_0005__is,r_0137_0003__what,arg0).
arc(r_0137_0005__is,r_0137_0007__as,prd).
arc(r_0137_0007__as,r_0137_0009__grow_r_0137_0010__up,restriction).
arc(r_0137_0007__as,r_0137_0013__start,scope).
arc(r_0137_0009__grow_r_0137_0010__up,r_0137_0008__children,arg0).
arc(r_0137_0013__start,r_0137_0015__educate,scope).
arc(r_0137_0015__educate,r_0137_0012__we,arg0).
arc(r_0137_0015__educate,r_0137_0016__them,arg1).
arc(r_0137_0015__educate,r_0137_0017__progressively,nim).
arc(r_0137_0015__educate,r_0137_0019__the_r_0137_0020__waist,r_0137_0018__from__nim).
arc(r_0137_0015__educate,r_0137_0021__up,nim).

fof(formula,axiom,
    ? [R_0137_0003__WHAT,R_0137_0004__HAPPENS,R_0137_0001__TRUTHFULLY,R_0137_0008__CHILDREN,R_0137_0009__GROW_R_0137_0010__UP,R_0137_0012__WE,R_0137_0016__THEM,R_0137_0017__PROGRESSIVELY,R_0137_0019__THE_R_0137_0020__WAIST,R_0137_0021__UP,R_0137_0013__START_R_0137_0015__EDUCATE,R_0137_0007__AS,R_0137_0005__IS] :
      ( r_0137_0001__Truthfully(R_0137_0001__TRUTHFULLY)
      & r_0137_0003__what(R_0137_0003__WHAT)
      & r_0137_0008__children(R_0137_0008__CHILDREN)
      & r_0137_0012__we(R_0137_0012__WE)
      & r_0137_0016__them(R_0137_0016__THEM)
      & r_0137_0017__progressively(R_0137_0017__PROGRESSIVELY)
      & r_0137_0019__the_r_0137_0020__waist(R_0137_0019__THE_R_0137_0020__WAIST)
      & r_0137_0021__up(R_0137_0021__UP)
      & r_0137_0005__is(R_0137_0005__IS)
      & has_prd(R_0137_0005__IS,R_0137_0007__AS)
      & r_0137_0007__as(R_0137_0007__AS)
      & has_conj2(R_0137_0007__AS,R_0137_0013__START_R_0137_0015__EDUCATE)
      & r_0137_0013__start_r_0137_0015__educate(R_0137_0013__START_R_0137_0015__EDUCATE)
      & has_nim(R_0137_0013__START_R_0137_0015__EDUCATE,R_0137_0021__UP)
      & has_r_0137_0018__from__nim(R_0137_0013__START_R_0137_0015__EDUCATE,R_0137_0019__THE_R_0137_0020__WAIST)
      & has_nim(R_0137_0013__START_R_0137_0015__EDUCATE,R_0137_0017__PROGRESSIVELY)
      & has_arg1(R_0137_0013__START_R_0137_0015__EDUCATE,R_0137_0016__THEM)
      & has_arg0(R_0137_0013__START_R_0137_0015__EDUCATE,R_0137_0012__WE)
      & has_conj1(R_0137_0007__AS,R_0137_0009__GROW_R_0137_0010__UP)
      & r_0137_0009__grow_r_0137_0010__up(R_0137_0009__GROW_R_0137_0010__UP)
      & has_arg0(R_0137_0009__GROW_R_0137_0010__UP,R_0137_0008__CHILDREN)
      & has_arg0(R_0137_0005__IS,R_0137_0003__WHAT)
      & has_nim(R_0137_0005__IS,R_0137_0001__TRUTHFULLY)
      & r_0137_0004__happens(R_0137_0004__HAPPENS)
      & has_arg0(R_0137_0004__HAPPENS,R_0137_0003__WHAT) ) ).