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.

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

arc(r_0080_0006__get,r_0080_0008__be,scope).
arc(r_0080_0008__be,r_0080_0003__the_r_0080_0004__time,inv_nim).
arc(r_0080_0008__be,r_0080_0009__adults,prd).
arc(r_0080_0008__be,r_0080_0012__kids,arg0).
arc(r_0080_0011__most__quant,r_0080_0012__kids,restriction).
arc(r_0080_0011__most__quant,r_0080_0013__have,scope).
arc(r_0080_0013__have,r_0080_0014__lost,scope).
arc(r_0080_0014__lost,r_0080_0003__the_r_0080_0004__time,r_0080_0002__by__nim).
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_0012__kids(R_0080_0012__KIDS)
     => ? [R_0080_0009__ADULTS,R_0080_0006__GET_R_0080_0008__BE,R_0080_0003__THE_R_0080_0004__TIME,R_0080_0015__THAT_R_0080_0016__CAPACITY,R_0080_0013__HAVE_R_0080_0014__LOST] :
          ( r_0080_0009__adults(R_0080_0009__ADULTS)
          & r_0080_0015__that_r_0080_0016__capacity(R_0080_0015__THAT_R_0080_0016__CAPACITY)
          & r_0080_0013__have_r_0080_0014__lost(R_0080_0013__HAVE_R_0080_0014__LOST)
          & has_arg1(R_0080_0013__HAVE_R_0080_0014__LOST,R_0080_0015__THAT_R_0080_0016__CAPACITY)
          & has_arg0(R_0080_0013__HAVE_R_0080_0014__LOST,R_0080_0012__KIDS)
          & has_r_0080_0002__by__nim(R_0080_0013__HAVE_R_0080_0014__LOST,R_0080_0003__THE_R_0080_0004__TIME)
          & r_0080_0003__the_r_0080_0004__time(R_0080_0003__THE_R_0080_0004__TIME)
          & has_inv_nim(R_0080_0003__THE_R_0080_0004__TIME,R_0080_0006__GET_R_0080_0008__BE)
          & r_0080_0006__get_r_0080_0008__be(R_0080_0006__GET_R_0080_0008__BE)
          & has_arg0(R_0080_0006__GET_R_0080_0008__BE,R_0080_0012__KIDS)
          & has_prd(R_0080_0006__GET_R_0080_0008__BE,R_0080_0009__ADULTS) ) ) ).