Context                Previous, Next                Top


80_a_ted_talk_11
And by the time they get to be adults, most kids have lost that capacity.

%3 r_0080_0001__And_r_0080_0013__have And have r_0080_0014__lost lost r_0080_0001__And_r_0080_0013__have->r_0080_0014__lost [scope] r_0080_0003__the_r_0080_0004__time the time r_0080_0014__lost->r_0080_0003__the_r_0080_0004__time by [nim] r_0080_0012__kids kids r_0080_0014__lost->r_0080_0012__kids [arg0] r_0080_0015__that_r_0080_0016__capacity that capacity r_0080_0014__lost->r_0080_0015__that_r_0080_0016__capacity [arg1] r_0080_0006__get get r_0080_0007__to_r_0080_0008__be to be r_0080_0006__get->r_0080_0007__to_r_0080_0008__be [scope] r_0080_0007__to_r_0080_0008__be->r_0080_0003__the_r_0080_0004__time [nim] r_0080_0009__adults adults r_0080_0007__to_r_0080_0008__be->r_0080_0009__adults [prd] r_0080_0007__to_r_0080_0008__be->r_0080_0012__kids [arg0] r_0080_0011__most_quant most [quant] r_0080_0011__most_quant->r_0080_0001__And_r_0080_0013__have [scope] r_0080_0011__most_quant->r_0080_0012__kids [restriction] 
arc(r_0080_0001__And_r_0080_0013__have, r_0080_0014__lost, scope).
arc(r_0080_0006__get, r_0080_0007__to_r_0080_0008__be, scope).
arc(r_0080_0007__to_r_0080_0008__be, r_0080_0003__the_r_0080_0004__time, nim19).
arc(r_0080_0007__to_r_0080_0008__be, r_0080_0009__adults, prd).
arc(r_0080_0007__to_r_0080_0008__be, r_0080_0012__kids, arg0).
arc(r_0080_0011__most_quant, r_0080_0001__And_r_0080_0013__have, scope).
arc(r_0080_0011__most_quant, r_0080_0012__kids, restriction).
arc(r_0080_0014__lost, r_0080_0003__the_r_0080_0004__time, r_0080_0002__by_nim7).
arc(r_0080_0014__lost, r_0080_0012__kids, arg0).
arc(r_0080_0014__lost, r_0080_0015__that_r_0080_0016__capacity, arg1).


%3 r_0080_0001__And_r_0080_0013__have_r_0080_0014__lost And have lost r_0080_0015__that_r_0080_0016__capacity that capacity r_0080_0001__And_r_0080_0013__have_r_0080_0014__lost->r_0080_0015__that_r_0080_0016__capacity [arg1] r_0080_0012__kids kids r_0080_0001__And_r_0080_0013__have_r_0080_0014__lost->r_0080_0012__kids [arg0] r_0080_0003__the_r_0080_0004__time the time r_0080_0001__And_r_0080_0013__have_r_0080_0014__lost->r_0080_0003__the_r_0080_0004__time by [nim] r_0080_0011__most_quant most [quant] r_0080_0011__most_quant->r_0080_0001__And_r_0080_0013__have_r_0080_0014__lost [scope] r_0080_0006__get_r_0080_0007__to_r_0080_0008__be get to be r_0080_0011__most_quant->r_0080_0006__get_r_0080_0007__to_r_0080_0008__be [restriction] r_0080_0006__get_r_0080_0007__to_r_0080_0008__be->r_0080_0012__kids [arg0] r_0080_0006__get_r_0080_0007__to_r_0080_0008__be->r_0080_0003__the_r_0080_0004__time [nim] r_0080_0009__adults adults r_0080_0006__get_r_0080_0007__to_r_0080_0008__be->r_0080_0009__adults [prd] 
fof(formula,axiom,
    ! [R_80_6_GET_TO_BE,R_80_12_KIDS,R_80_3_THE_TIME,R_80_9_ADULTS] :
      ( ( kids(R_80_12_KIDS)
        & the_time(R_80_3_THE_TIME)
        & adults(R_80_9_ADULTS)
        & get_to_be(R_80_6_GET_TO_BE,R_80_12_KIDS,R_80_9_ADULTS)
        & nim19(R_80_6_GET_TO_BE,R_80_3_THE_TIME) )
     => ? [R_80_1_AND_HAVE_LOST,R_80_15_THAT_CAPACITY] :
          ( that_capacity(R_80_15_THAT_CAPACITY)
          & and_have_lost(R_80_1_AND_HAVE_LOST,R_80_12_KIDS,R_80_15_THAT_CAPACITY)
          & by_nim7(R_80_1_AND_HAVE_LOST,R_80_3_THE_TIME) ) ) ).


n80_a_ted_talk_11 n80_a_ted_talk_11__1_1_1 And n80_a_ted_talk_11__1_2_1_1 by n80_a_ted_talk_11__1_2_2_1_1 the n80_a_ted_talk_11__1_2_2_2_1 time n80_a_ted_talk_11__1_2_2_3_1_1_1 they n80_a_ted_talk_11__1_2_2_3_2_1 get n80_a_ted_talk_11__1_2_2_3_3_1_1 *T* n80_a_ted_talk_11__1_2_2_3_3_2_1 to n80_a_ted_talk_11__1_2_2_3_3_3_1 be n80_a_ted_talk_11__1_2_2_3_3_4_1_1 adults n80_a_ted_talk_11__1_3_1 , n80_a_ted_talk_11__1_4_1_1 most n80_a_ted_talk_11__1_4_2_1 kids n80_a_ted_talk_11__1_5_1 have n80_a_ted_talk_11__1_6_1_1 *ICH*-192 n80_a_ted_talk_11__1_6_2_1 lost n80_a_ted_talk_11__1_6_3_1_1 that n80_a_ted_talk_11__1_6_3_2_1 capacity n80_a_ted_talk_11__1_7_1 . n80_a_ted_talk_11__1 IP-MAT n80_a_ted_talk_11__1_1 CONJ;_cl_ n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_1 n80_a_ted_talk_11__1_2 PP-TPC-192 n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_2 n80_a_ted_talk_11__1_3 PUNC n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_3 n80_a_ted_talk_11__1_4 NP-SBJ n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_4 n80_a_ted_talk_11__1_5 HVP;_cat_Ve_ n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_5 n80_a_ted_talk_11__1_6 IP-PPL-CAT n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_6 n80_a_ted_talk_11__1_7 PUNC n80_a_ted_talk_11__1->n80_a_ted_talk_11__1_7 n80_a_ted_talk_11__1_1->n80_a_ted_talk_11__1_1_1 n80_a_ted_talk_11__1_2_1 P-ROLE n80_a_ted_talk_11__1_2->n80_a_ted_talk_11__1_2_1 n80_a_ted_talk_11__1_2_2 NP n80_a_ted_talk_11__1_2->n80_a_ted_talk_11__1_2_2 n80_a_ted_talk_11__1_2_1->n80_a_ted_talk_11__1_2_1_1 n80_a_ted_talk_11__1_2_2_1 D n80_a_ted_talk_11__1_2_2->n80_a_ted_talk_11__1_2_2_1 n80_a_ted_talk_11__1_2_2_2 N n80_a_ted_talk_11__1_2_2->n80_a_ted_talk_11__1_2_2_2 n80_a_ted_talk_11__1_2_2_3 IP-REL n80_a_ted_talk_11__1_2_2->n80_a_ted_talk_11__1_2_2_3 n80_a_ted_talk_11__1_2_2_1->n80_a_ted_talk_11__1_2_2_1_1 n80_a_ted_talk_11__1_2_2_2->n80_a_ted_talk_11__1_2_2_2_1 n80_a_ted_talk_11__1_2_2_3_1 NP-SBJ n80_a_ted_talk_11__1_2_2_3->n80_a_ted_talk_11__1_2_2_3_1 n80_a_ted_talk_11__1_2_2_3_2 VBP;_cat_Vt_ n80_a_ted_talk_11__1_2_2_3->n80_a_ted_talk_11__1_2_2_3_2 n80_a_ted_talk_11__1_2_2_3_3 IP-INF-CAT n80_a_ted_talk_11__1_2_2_3->n80_a_ted_talk_11__1_2_2_3_3 n80_a_ted_talk_11__1_2_2_3_1_1 PRO n80_a_ted_talk_11__1_2_2_3_1->n80_a_ted_talk_11__1_2_2_3_1_1 n80_a_ted_talk_11__1_2_2_3_1_1->n80_a_ted_talk_11__1_2_2_3_1_1_1 n80_a_ted_talk_11__1_2_2_3_2->n80_a_ted_talk_11__1_2_2_3_2_1 n80_a_ted_talk_11__1_2_2_3_3_1 NP-NIM n80_a_ted_talk_11__1_2_2_3_3->n80_a_ted_talk_11__1_2_2_3_3_1 n80_a_ted_talk_11__1_2_2_3_3_2 TO n80_a_ted_talk_11__1_2_2_3_3->n80_a_ted_talk_11__1_2_2_3_3_2 n80_a_ted_talk_11__1_2_2_3_3_3 BE;_Ln_ n80_a_ted_talk_11__1_2_2_3_3->n80_a_ted_talk_11__1_2_2_3_3_3 n80_a_ted_talk_11__1_2_2_3_3_4 NP-PRD n80_a_ted_talk_11__1_2_2_3_3->n80_a_ted_talk_11__1_2_2_3_3_4 n80_a_ted_talk_11__1_2_2_3_3_1->n80_a_ted_talk_11__1_2_2_3_3_1_1 n80_a_ted_talk_11__1_2_2_3_3_2->n80_a_ted_talk_11__1_2_2_3_3_2_1 n80_a_ted_talk_11__1_2_2_3_3_3->n80_a_ted_talk_11__1_2_2_3_3_3_1 n80_a_ted_talk_11__1_2_2_3_3_4_1 NS n80_a_ted_talk_11__1_2_2_3_3_4->n80_a_ted_talk_11__1_2_2_3_3_4_1 n80_a_ted_talk_11__1_2_2_3_3_4_1->n80_a_ted_talk_11__1_2_2_3_3_4_1_1 n80_a_ted_talk_11__1_3->n80_a_ted_talk_11__1_3_1 n80_a_ted_talk_11__1_4_1 Q n80_a_ted_talk_11__1_4->n80_a_ted_talk_11__1_4_1 n80_a_ted_talk_11__1_4_2 NS n80_a_ted_talk_11__1_4->n80_a_ted_talk_11__1_4_2 n80_a_ted_talk_11__1_4_1->n80_a_ted_talk_11__1_4_1_1 n80_a_ted_talk_11__1_4_2->n80_a_ted_talk_11__1_4_2_1 n80_a_ted_talk_11__1_5->n80_a_ted_talk_11__1_5_1 n80_a_ted_talk_11__1_6_1 PP-NIM n80_a_ted_talk_11__1_6->n80_a_ted_talk_11__1_6_1 n80_a_ted_talk_11__1_6_2 VVN;_Tn_ n80_a_ted_talk_11__1_6->n80_a_ted_talk_11__1_6_2 n80_a_ted_talk_11__1_6_3 NP-OB1 n80_a_ted_talk_11__1_6->n80_a_ted_talk_11__1_6_3 n80_a_ted_talk_11__1_6_1->n80_a_ted_talk_11__1_6_1_1 n80_a_ted_talk_11__1_6_2->n80_a_ted_talk_11__1_6_2_1 n80_a_ted_talk_11__1_6_3_1 D n80_a_ted_talk_11__1_6_3->n80_a_ted_talk_11__1_6_3_1 n80_a_ted_talk_11__1_6_3_2 N n80_a_ted_talk_11__1_6_3->n80_a_ted_talk_11__1_6_3_2 n80_a_ted_talk_11__1_6_3_1->n80_a_ted_talk_11__1_6_3_1_1 n80_a_ted_talk_11__1_6_3_2->n80_a_ted_talk_11__1_6_3_2_1 n80_a_ted_talk_11__1_7->n80_a_ted_talk_11__1_7_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-TPC-192 (P-ROLE by;{by})
                      (NP (D the;{the})
                          (N time;{time})
                          (IP-REL (NP-SBJ;{KIDS} (PRO they;{they}))
                                  (VBP;_cat_Vt_ get;{get})
                                  (IP-INF-CAT (NP-NIM *T*)
                                              (TO to;{to})
                                              (BE;_Ln_ be;{be})
                                              (NP-PRD (NS adults;{adult}))))))
          (PUNC ,)
          (NP-SBJ;{KIDS} (Q most;{most})
                         (NS kids;{kid}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (PP-NIM *ICH*-192)
                      (VVN;_Tn_ lost;{lose})
                      (NP-OB1 (D that;{that})
                              (N capacity;{capacity})))
          (PUNC .))
  (ID 80_a_ted_talk_11))