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

%3 r_0138_0004__happens happens z_000_138_a_ted_talk_11_7 r_0138_0004__happens->z_000_138_a_ted_talk_11_7 [arg0] r_0138_0005__is is r_0138_0005__is->z_000_138_a_ted_talk_11_7 [arg0] r_0138_0001__Truthfully Truthfully r_0138_0005__is->r_0138_0001__Truthfully [nim] r_0138_0007__as as r_0138_0005__is->r_0138_0007__as [prd] r_0138_0009__grow_r_0138_0010__up grow up r_0138_0007__as->r_0138_0009__grow_r_0138_0010__up [restriction] r_0138_0013__start start r_0138_0007__as->r_0138_0013__start [scope] r_0138_0008__children children r_0138_0009__grow_r_0138_0010__up->r_0138_0008__children [arg0] r_0138_0014__to_r_0138_0015__educate to educate r_0138_0013__start->r_0138_0014__to_r_0138_0015__educate [scope] r_0138_0014__to_r_0138_0015__educate->z_000_138_a_ted_talk_11_7 [arg1] r_0138_0012__we we r_0138_0014__to_r_0138_0015__educate->r_0138_0012__we [arg0] r_0138_0017__progressively progressively r_0138_0014__to_r_0138_0015__educate->r_0138_0017__progressively [nim] r_0138_0019__the_r_0138_0020__waist the waist r_0138_0014__to_r_0138_0015__educate->r_0138_0019__the_r_0138_0020__waist from [nim] r_0138_0021__up up r_0138_0014__to_r_0138_0015__educate->r_0138_0021__up [nim]
arc(r_0138_0004__happens, z_000_138_a_ted_talk_11_7, arg0).
arc(r_0138_0005__is, r_0138_0001__Truthfully, nim2).
arc(r_0138_0005__is, r_0138_0007__as, prd).
arc(r_0138_0005__is, z_000_138_a_ted_talk_11_7, arg0).
arc(r_0138_0007__as, r_0138_0009__grow_r_0138_0010__up, restriction).
arc(r_0138_0007__as, r_0138_0013__start, scope).
arc(r_0138_0009__grow_r_0138_0010__up, r_0138_0008__children, arg0).
arc(r_0138_0013__start, r_0138_0014__to_r_0138_0015__educate, scope).
arc(r_0138_0014__to_r_0138_0015__educate, r_0138_0012__we, arg0).
arc(r_0138_0014__to_r_0138_0015__educate, r_0138_0017__progressively, nim46).
arc(r_0138_0014__to_r_0138_0015__educate, r_0138_0019__the_r_0138_0020__waist, r_0138_0018__from_nim52).
arc(r_0138_0014__to_r_0138_0015__educate, r_0138_0021__up, nim57).
arc(r_0138_0014__to_r_0138_0015__educate, z_000_138_a_ted_talk_11_7, arg1).



%3 r_0138_0004__happens happens z_000_138_a_ted_talk_11_7 r_0138_0004__happens->z_000_138_a_ted_talk_11_7 [arg0] r_0138_0005__is is r_0138_0005__is->z_000_138_a_ted_talk_11_7 [arg0] r_0138_0001__Truthfully Truthfully r_0138_0005__is->r_0138_0001__Truthfully [nim] r_0138_0007__as as r_0138_0005__is->r_0138_0007__as [prd] r_0138_0009__grow_r_0138_0010__up grow up r_0138_0007__as->r_0138_0009__grow_r_0138_0010__up [conj1] r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate start to educate r_0138_0007__as->r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate [conj2] r_0138_0008__children children r_0138_0009__grow_r_0138_0010__up->r_0138_0008__children [arg0] r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->z_000_138_a_ted_talk_11_7 [arg1] r_0138_0012__we we r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0012__we [arg0] r_0138_0017__progressively progressively r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0017__progressively [nim] r_0138_0019__the_r_0138_0020__waist the waist r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0019__the_r_0138_0020__waist from [nim] r_0138_0021__up up r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0021__up [nim]
fof(formula,axiom,
    ? [R_138_4_HAPPENS,R_138_5_IS,R_138_1_TRUTHFULLY,R_138_7_AS,R_138_9_GROW_UP,R_138_8_CHILDREN,R_138_13_START_TO_EDUCATE,R_138_12_WE,Z_138_A_TED_TALK_11_7,R_138_17_PROGRESSIVELY,R_138_21_UP,R_138_19_THE_WAIST] :
      ( truthfully(R_138_1_TRUTHFULLY)
      & children(R_138_8_CHILDREN)
      & we(R_138_12_WE)
      & progressively(R_138_17_PROGRESSIVELY)
      & up(R_138_21_UP)
      & the_waist(R_138_19_THE_WAIST)
      & happens(R_138_4_HAPPENS,Z_138_A_TED_TALK_11_7)
      & is(R_138_5_IS,Z_138_A_TED_TALK_11_7,R_138_7_AS)
      & as(R_138_7_AS)
      & conj1(R_138_7_AS,R_138_9_GROW_UP)
      & grow_up(R_138_9_GROW_UP,R_138_8_CHILDREN)
      & conj2(R_138_7_AS,R_138_13_START_TO_EDUCATE)
      & start_to_educate(R_138_13_START_TO_EDUCATE,R_138_12_WE,Z_138_A_TED_TALK_11_7)
      & nim46(R_138_13_START_TO_EDUCATE,R_138_17_PROGRESSIVELY)
      & nim57(R_138_13_START_TO_EDUCATE,R_138_21_UP)
      & from_nim52(R_138_13_START_TO_EDUCATE,R_138_19_THE_WAIST)
      & nim2(R_138_5_IS,R_138_1_TRUTHFULLY) ) ).



n138_a_ted_talk_11 n138_a_ted_talk_11_4 Truthfully n138_a_ted_talk_11_6 , n138_a_ted_talk_11_11 what n138_a_ted_talk_11_13 happens n138_a_ted_talk_11_15 is n138_a_ted_talk_11_17 , n138_a_ted_talk_11_22 as n138_a_ted_talk_11_26 children n138_a_ted_talk_11_28 grow n138_a_ted_talk_11_30 up n138_a_ted_talk_11_32 , n138_a_ted_talk_11_35 we n138_a_ted_talk_11_37 start n138_a_ted_talk_11_40 to n138_a_ted_talk_11_42 educate n138_a_ted_talk_11_45 them n138_a_ted_talk_11_48 progressively n138_a_ted_talk_11_51 from n138_a_ted_talk_11_54 the n138_a_ted_talk_11_56 waist n138_a_ted_talk_11_59 up n138_a_ted_talk_11_61 . n138_a_ted_talk_11_1 IP-MAT n138_a_ted_talk_11_2 ADVP-NIM n138_a_ted_talk_11_1->n138_a_ted_talk_11_2 n138_a_ted_talk_11_5 PUNC n138_a_ted_talk_11_1->n138_a_ted_talk_11_5 n138_a_ted_talk_11_7 NP-SBJ n138_a_ted_talk_11_1->n138_a_ted_talk_11_7 n138_a_ted_talk_11_14 BEP;_equ_Vf_ n138_a_ted_talk_11_1->n138_a_ted_talk_11_14 n138_a_ted_talk_11_16 PUNC n138_a_ted_talk_11_1->n138_a_ted_talk_11_16 n138_a_ted_talk_11_18 CP-THT-PRD n138_a_ted_talk_11_1->n138_a_ted_talk_11_18 n138_a_ted_talk_11_60 PUNC n138_a_ted_talk_11_1->n138_a_ted_talk_11_60 n138_a_ted_talk_11_3 ADV n138_a_ted_talk_11_2->n138_a_ted_talk_11_3 n138_a_ted_talk_11_3->n138_a_ted_talk_11_4 n138_a_ted_talk_11_5->n138_a_ted_talk_11_6 n138_a_ted_talk_11_8 IP-REL n138_a_ted_talk_11_7->n138_a_ted_talk_11_8 n138_a_ted_talk_11_9 NP-SBJ n138_a_ted_talk_11_8->n138_a_ted_talk_11_9 n138_a_ted_talk_11_12 VBP;_I_ n138_a_ted_talk_11_8->n138_a_ted_talk_11_12 n138_a_ted_talk_11_10 RPRO n138_a_ted_talk_11_9->n138_a_ted_talk_11_10 n138_a_ted_talk_11_10->n138_a_ted_talk_11_11 n138_a_ted_talk_11_12->n138_a_ted_talk_11_13 n138_a_ted_talk_11_14->n138_a_ted_talk_11_15 n138_a_ted_talk_11_16->n138_a_ted_talk_11_17 n138_a_ted_talk_11_19 IP-SUB n138_a_ted_talk_11_18->n138_a_ted_talk_11_19 n138_a_ted_talk_11_20 PP-SCON n138_a_ted_talk_11_19->n138_a_ted_talk_11_20 n138_a_ted_talk_11_31 PUNC n138_a_ted_talk_11_19->n138_a_ted_talk_11_31 n138_a_ted_talk_11_33 NP-SBJ n138_a_ted_talk_11_19->n138_a_ted_talk_11_33 n138_a_ted_talk_11_36 VBP;_cat_Vt_ n138_a_ted_talk_11_19->n138_a_ted_talk_11_36 n138_a_ted_talk_11_38 IP-INF-CAT n138_a_ted_talk_11_19->n138_a_ted_talk_11_38 n138_a_ted_talk_11_21 P-CONN n138_a_ted_talk_11_20->n138_a_ted_talk_11_21 n138_a_ted_talk_11_23 IP-ADV n138_a_ted_talk_11_20->n138_a_ted_talk_11_23 n138_a_ted_talk_11_21->n138_a_ted_talk_11_22 n138_a_ted_talk_11_24 NP-SBJ n138_a_ted_talk_11_23->n138_a_ted_talk_11_24 n138_a_ted_talk_11_27 VBP;_phr_Vp_ n138_a_ted_talk_11_23->n138_a_ted_talk_11_27 n138_a_ted_talk_11_29 RP n138_a_ted_talk_11_23->n138_a_ted_talk_11_29 n138_a_ted_talk_11_25 NS n138_a_ted_talk_11_24->n138_a_ted_talk_11_25 n138_a_ted_talk_11_25->n138_a_ted_talk_11_26 n138_a_ted_talk_11_27->n138_a_ted_talk_11_28 n138_a_ted_talk_11_29->n138_a_ted_talk_11_30 n138_a_ted_talk_11_31->n138_a_ted_talk_11_32 n138_a_ted_talk_11_34 PRO n138_a_ted_talk_11_33->n138_a_ted_talk_11_34 n138_a_ted_talk_11_34->n138_a_ted_talk_11_35 n138_a_ted_talk_11_36->n138_a_ted_talk_11_37 n138_a_ted_talk_11_39 TO n138_a_ted_talk_11_38->n138_a_ted_talk_11_39 n138_a_ted_talk_11_41 VB;_Tn_ n138_a_ted_talk_11_38->n138_a_ted_talk_11_41 n138_a_ted_talk_11_43 NP-OB1 n138_a_ted_talk_11_38->n138_a_ted_talk_11_43 n138_a_ted_talk_11_46 ADVP-NIM n138_a_ted_talk_11_38->n138_a_ted_talk_11_46 n138_a_ted_talk_11_49 PP-NIM n138_a_ted_talk_11_38->n138_a_ted_talk_11_49 n138_a_ted_talk_11_57 ADVP-NIM n138_a_ted_talk_11_38->n138_a_ted_talk_11_57 n138_a_ted_talk_11_39->n138_a_ted_talk_11_40 n138_a_ted_talk_11_41->n138_a_ted_talk_11_42 n138_a_ted_talk_11_44 PRO n138_a_ted_talk_11_43->n138_a_ted_talk_11_44 n138_a_ted_talk_11_44->n138_a_ted_talk_11_45 n138_a_ted_talk_11_47 ADV n138_a_ted_talk_11_46->n138_a_ted_talk_11_47 n138_a_ted_talk_11_47->n138_a_ted_talk_11_48 n138_a_ted_talk_11_50 P-ROLE n138_a_ted_talk_11_49->n138_a_ted_talk_11_50 n138_a_ted_talk_11_52 NP n138_a_ted_talk_11_49->n138_a_ted_talk_11_52 n138_a_ted_talk_11_50->n138_a_ted_talk_11_51 n138_a_ted_talk_11_53 D n138_a_ted_talk_11_52->n138_a_ted_talk_11_53 n138_a_ted_talk_11_55 N n138_a_ted_talk_11_52->n138_a_ted_talk_11_55 n138_a_ted_talk_11_53->n138_a_ted_talk_11_54 n138_a_ted_talk_11_55->n138_a_ted_talk_11_56 n138_a_ted_talk_11_58 RP n138_a_ted_talk_11_57->n138_a_ted_talk_11_58 n138_a_ted_talk_11_58->n138_a_ted_talk_11_59 n138_a_ted_talk_11_60->n138_a_ted_talk_11_61
( (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 138_a_ted_talk_11))