Context                Previous, Next                Top


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_0013__start_r_0138_0014__to_r_0138_0015__educate start to educate z_000_138_a_ted_talk_11_7 r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->z_000_138_a_ted_talk_11_7 [arg1] r_0138_0021__up up r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0021__up [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_0017__progressively progressively r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0017__progressively [nim] r_0138_0012__we we r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate->r_0138_0012__we [arg0] r_0138_0009__grow_r_0138_0010__up grow up r_0138_0008__children children r_0138_0009__grow_r_0138_0010__up->r_0138_0008__children [arg0] r_0138_0007__as as r_0138_0007__as->r_0138_0013__start_r_0138_0014__to_r_0138_0015__educate [conj2] r_0138_0007__as->r_0138_0009__grow_r_0138_0010__up [conj1] r_0138_0005__is is r_0138_0005__is->z_000_138_a_ted_talk_11_7 [arg0] r_0138_0005__is->r_0138_0007__as [prd] r_0138_0001__Truthfully Truthfully r_0138_0005__is->r_0138_0001__Truthfully [nim] r_0138_0004__happens happens r_0138_0004__happens->z_000_138_a_ted_talk_11_7 [arg0] 
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__1_1_1_1 Truthfully n138_a_ted_talk_11__1_2_1 , n138_a_ted_talk_11__1_3_1_1_1_1 what n138_a_ted_talk_11__1_3_1_2_1 happens n138_a_ted_talk_11__1_4_1 is n138_a_ted_talk_11__1_5_1 , n138_a_ted_talk_11__1_6_1_1_1_1 as n138_a_ted_talk_11__1_6_1_1_2_1_1_1 children n138_a_ted_talk_11__1_6_1_1_2_2_1 grow n138_a_ted_talk_11__1_6_1_1_2_3_1 up n138_a_ted_talk_11__1_6_1_2_1 , n138_a_ted_talk_11__1_6_1_3_1_1 we n138_a_ted_talk_11__1_6_1_4_1 start n138_a_ted_talk_11__1_6_1_5_1_1 to n138_a_ted_talk_11__1_6_1_5_2_1 educate n138_a_ted_talk_11__1_6_1_5_3_1_1 them n138_a_ted_talk_11__1_6_1_5_4_1_1 progressively n138_a_ted_talk_11__1_6_1_5_5_1_1 from n138_a_ted_talk_11__1_6_1_5_5_2_1_1 the n138_a_ted_talk_11__1_6_1_5_5_2_2_1 waist n138_a_ted_talk_11__1_6_1_5_6_1_1 up n138_a_ted_talk_11__1_7_1 . n138_a_ted_talk_11__1 IP-MAT n138_a_ted_talk_11__1_1 ADVP-NIM n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_1 n138_a_ted_talk_11__1_2 PUNC n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_2 n138_a_ted_talk_11__1_3 NP-SBJ n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_3 n138_a_ted_talk_11__1_4 BEP;_equ_Vf_ n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_4 n138_a_ted_talk_11__1_5 PUNC n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_5 n138_a_ted_talk_11__1_6 CP-THT-PRD n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_6 n138_a_ted_talk_11__1_7 PUNC n138_a_ted_talk_11__1->n138_a_ted_talk_11__1_7 n138_a_ted_talk_11__1_1_1 ADV n138_a_ted_talk_11__1_1->n138_a_ted_talk_11__1_1_1 n138_a_ted_talk_11__1_1_1->n138_a_ted_talk_11__1_1_1_1 n138_a_ted_talk_11__1_2->n138_a_ted_talk_11__1_2_1 n138_a_ted_talk_11__1_3_1 IP-REL n138_a_ted_talk_11__1_3->n138_a_ted_talk_11__1_3_1 n138_a_ted_talk_11__1_3_1_1 NP-SBJ n138_a_ted_talk_11__1_3_1->n138_a_ted_talk_11__1_3_1_1 n138_a_ted_talk_11__1_3_1_2 VBP;_I_ n138_a_ted_talk_11__1_3_1->n138_a_ted_talk_11__1_3_1_2 n138_a_ted_talk_11__1_3_1_1_1 RPRO n138_a_ted_talk_11__1_3_1_1->n138_a_ted_talk_11__1_3_1_1_1 n138_a_ted_talk_11__1_3_1_1_1->n138_a_ted_talk_11__1_3_1_1_1_1 n138_a_ted_talk_11__1_3_1_2->n138_a_ted_talk_11__1_3_1_2_1 n138_a_ted_talk_11__1_4->n138_a_ted_talk_11__1_4_1 n138_a_ted_talk_11__1_5->n138_a_ted_talk_11__1_5_1 n138_a_ted_talk_11__1_6_1 IP-SUB n138_a_ted_talk_11__1_6->n138_a_ted_talk_11__1_6_1 n138_a_ted_talk_11__1_6_1_1 PP-SCON n138_a_ted_talk_11__1_6_1->n138_a_ted_talk_11__1_6_1_1 n138_a_ted_talk_11__1_6_1_2 PUNC n138_a_ted_talk_11__1_6_1->n138_a_ted_talk_11__1_6_1_2 n138_a_ted_talk_11__1_6_1_3 NP-SBJ n138_a_ted_talk_11__1_6_1->n138_a_ted_talk_11__1_6_1_3 n138_a_ted_talk_11__1_6_1_4 VBP;_cat_Vt_ n138_a_ted_talk_11__1_6_1->n138_a_ted_talk_11__1_6_1_4 n138_a_ted_talk_11__1_6_1_5 IP-INF-CAT n138_a_ted_talk_11__1_6_1->n138_a_ted_talk_11__1_6_1_5 n138_a_ted_talk_11__1_6_1_1_1 P-CONN n138_a_ted_talk_11__1_6_1_1->n138_a_ted_talk_11__1_6_1_1_1 n138_a_ted_talk_11__1_6_1_1_2 IP-ADV n138_a_ted_talk_11__1_6_1_1->n138_a_ted_talk_11__1_6_1_1_2 n138_a_ted_talk_11__1_6_1_1_1->n138_a_ted_talk_11__1_6_1_1_1_1 n138_a_ted_talk_11__1_6_1_1_2_1 NP-SBJ n138_a_ted_talk_11__1_6_1_1_2->n138_a_ted_talk_11__1_6_1_1_2_1 n138_a_ted_talk_11__1_6_1_1_2_2 VBP;_phr_Vp_ n138_a_ted_talk_11__1_6_1_1_2->n138_a_ted_talk_11__1_6_1_1_2_2 n138_a_ted_talk_11__1_6_1_1_2_3 RP n138_a_ted_talk_11__1_6_1_1_2->n138_a_ted_talk_11__1_6_1_1_2_3 n138_a_ted_talk_11__1_6_1_1_2_1_1 NS n138_a_ted_talk_11__1_6_1_1_2_1->n138_a_ted_talk_11__1_6_1_1_2_1_1 n138_a_ted_talk_11__1_6_1_1_2_1_1->n138_a_ted_talk_11__1_6_1_1_2_1_1_1 n138_a_ted_talk_11__1_6_1_1_2_2->n138_a_ted_talk_11__1_6_1_1_2_2_1 n138_a_ted_talk_11__1_6_1_1_2_3->n138_a_ted_talk_11__1_6_1_1_2_3_1 n138_a_ted_talk_11__1_6_1_2->n138_a_ted_talk_11__1_6_1_2_1 n138_a_ted_talk_11__1_6_1_3_1 PRO n138_a_ted_talk_11__1_6_1_3->n138_a_ted_talk_11__1_6_1_3_1 n138_a_ted_talk_11__1_6_1_3_1->n138_a_ted_talk_11__1_6_1_3_1_1 n138_a_ted_talk_11__1_6_1_4->n138_a_ted_talk_11__1_6_1_4_1 n138_a_ted_talk_11__1_6_1_5_1 TO n138_a_ted_talk_11__1_6_1_5->n138_a_ted_talk_11__1_6_1_5_1 n138_a_ted_talk_11__1_6_1_5_2 VB;_Tn_ n138_a_ted_talk_11__1_6_1_5->n138_a_ted_talk_11__1_6_1_5_2 n138_a_ted_talk_11__1_6_1_5_3 NP-OB1 n138_a_ted_talk_11__1_6_1_5->n138_a_ted_talk_11__1_6_1_5_3 n138_a_ted_talk_11__1_6_1_5_4 ADVP-NIM n138_a_ted_talk_11__1_6_1_5->n138_a_ted_talk_11__1_6_1_5_4 n138_a_ted_talk_11__1_6_1_5_5 PP-NIM n138_a_ted_talk_11__1_6_1_5->n138_a_ted_talk_11__1_6_1_5_5 n138_a_ted_talk_11__1_6_1_5_6 ADVP-NIM n138_a_ted_talk_11__1_6_1_5->n138_a_ted_talk_11__1_6_1_5_6 n138_a_ted_talk_11__1_6_1_5_1->n138_a_ted_talk_11__1_6_1_5_1_1 n138_a_ted_talk_11__1_6_1_5_2->n138_a_ted_talk_11__1_6_1_5_2_1 n138_a_ted_talk_11__1_6_1_5_3_1 PRO n138_a_ted_talk_11__1_6_1_5_3->n138_a_ted_talk_11__1_6_1_5_3_1 n138_a_ted_talk_11__1_6_1_5_3_1->n138_a_ted_talk_11__1_6_1_5_3_1_1 n138_a_ted_talk_11__1_6_1_5_4_1 ADV n138_a_ted_talk_11__1_6_1_5_4->n138_a_ted_talk_11__1_6_1_5_4_1 n138_a_ted_talk_11__1_6_1_5_4_1->n138_a_ted_talk_11__1_6_1_5_4_1_1 n138_a_ted_talk_11__1_6_1_5_5_1 P-ROLE n138_a_ted_talk_11__1_6_1_5_5->n138_a_ted_talk_11__1_6_1_5_5_1 n138_a_ted_talk_11__1_6_1_5_5_2 NP n138_a_ted_talk_11__1_6_1_5_5->n138_a_ted_talk_11__1_6_1_5_5_2 n138_a_ted_talk_11__1_6_1_5_5_1->n138_a_ted_talk_11__1_6_1_5_5_1_1 n138_a_ted_talk_11__1_6_1_5_5_2_1 D n138_a_ted_talk_11__1_6_1_5_5_2->n138_a_ted_talk_11__1_6_1_5_5_2_1 n138_a_ted_talk_11__1_6_1_5_5_2_2 N n138_a_ted_talk_11__1_6_1_5_5_2->n138_a_ted_talk_11__1_6_1_5_5_2_2 n138_a_ted_talk_11__1_6_1_5_5_2_1->n138_a_ted_talk_11__1_6_1_5_5_2_1_1 n138_a_ted_talk_11__1_6_1_5_5_2_2->n138_a_ted_talk_11__1_6_1_5_5_2_2_1 n138_a_ted_talk_11__1_6_1_5_6_1 RP n138_a_ted_talk_11__1_6_1_5_6->n138_a_ted_talk_11__1_6_1_5_6_1 n138_a_ted_talk_11__1_6_1_5_6_1->n138_a_ted_talk_11__1_6_1_5_6_1_1 n138_a_ted_talk_11__1_7->n138_a_ted_talk_11__1_7_1 
( (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))