TSPC 80_a_ted_talk

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

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

fof(formula,axiom,
    ! [R_0080_0012__KIDS,R_0080_0003__THE_R_0080_0004__TIME,R_0080_0009__ADULTS,R_0080_0006__GET_R_0080_0007__TO_R_0080_0008__BE] :
      ( ( r_0080_0003__the_r_0080_0004__time(R_0080_0003__THE_R_0080_0004__TIME)
        & r_0080_0009__adults(R_0080_0009__ADULTS)
        & r_0080_0012__kids(R_0080_0012__KIDS)
        & r_0080_0006__get_r_0080_0007__to_r_0080_0008__be(R_0080_0006__GET_R_0080_0007__TO_R_0080_0008__BE)
        & has_arg0(R_0080_0006__GET_R_0080_0007__TO_R_0080_0008__BE,R_0080_0012__KIDS)
        & has_prd(R_0080_0006__GET_R_0080_0007__TO_R_0080_0008__BE,R_0080_0009__ADULTS)
        & has_nim19(R_0080_0006__GET_R_0080_0007__TO_R_0080_0008__BE,R_0080_0003__THE_R_0080_0004__TIME) )
     => ? [R_0080_0015__THAT_R_0080_0016__CAPACITY,R_0080_0001__AND_R_0080_0013__HAVE_R_0080_0014__LOST] :
          ( r_0080_0015__that_r_0080_0016__capacity(R_0080_0015__THAT_R_0080_0016__CAPACITY)
          & r_0080_0001__And_r_0080_0013__have_r_0080_0014__lost(R_0080_0001__AND_R_0080_0013__HAVE_R_0080_0014__LOST)
          & has_arg1(R_0080_0001__AND_R_0080_0013__HAVE_R_0080_0014__LOST,R_0080_0015__THAT_R_0080_0016__CAPACITY)
          & has_arg0(R_0080_0001__AND_R_0080_0013__HAVE_R_0080_0014__LOST,R_0080_0012__KIDS)
          & has_r_0080_0002__by_nim7(R_0080_0001__AND_R_0080_0013__HAVE_R_0080_0014__LOST,R_0080_0003__THE_R_0080_0004__TIME) ) ) ).

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