TSPC 28_a_ted_talk

28_a_ted_talk_11
If you think of it, children starting school this year will be retiring in 2065.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ think;{think[of]})
                           (PP-CLR (P-ROLE of;{of})
                                   (NP (PRO it;{it})))))
          (PUNC ,)
          (NP-SBJ (NS children;{child})
                  (IP-PPL (VAG;_Tn_ starting;{start})
                          (NP-OB1 (N school;{school}))
                          (NP-NIM (D this;{this})
                                  (N year;{year}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                      (IP-PPL-CAT (VAG;_I_ retiring;{retire})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NPR 2065)))))
          (PUNC .))
  (ID 28_a_ted_talk_11))

arc(r_0028_0001__If,r_0028_0003__think_r_0028_0004__of,restriction).
arc(r_0028_0001__If,r_0028_0012__will,scope).
arc(r_0028_0003__think_r_0028_0004__of,r_0028_0002__you,arg0).
arc(r_0028_0003__think_r_0028_0004__of,r_0028_0005__it,arg1).
arc(r_0028_0008__starting,r_0028_0007__children,inv_arg0).
arc(r_0028_0008__starting,r_0028_0009__school,arg1).
arc(r_0028_0008__starting,r_0028_0010__this_r_0028_0011__year,nim).
arc(r_0028_0012__will,r_0028_0013__be,scope).
arc(r_0028_0013__be,r_0028_0014__retiring,scope).
arc(r_0028_0014__retiring,r_0028_0007__children,arg0).
arc(r_0028_0014__retiring,r_0028_0016__2065,r_0028_0015__in__nim).

fof(formula,axiom,
    ! [R_0028_0003__THINK_R_0028_0004__OF,R_0028_0002__YOU,R_0028_0005__IT] :
      ( ( r_0028_0002__you(R_0028_0002__YOU)
        & r_0028_0005__it(R_0028_0005__IT)
        & r_0028_0003__think_r_0028_0004__of(R_0028_0003__THINK_R_0028_0004__OF)
        & has_arg1(R_0028_0003__THINK_R_0028_0004__OF,R_0028_0005__IT)
        & has_arg0(R_0028_0003__THINK_R_0028_0004__OF,R_0028_0002__YOU) )
     => ? [R_0028_0009__SCHOOL,R_0028_0010__THIS_R_0028_0011__YEAR,R_0028_0008__STARTING,R_0028_0007__CHILDREN,R_0028_0016__2065,R_0028_0012__WILL_R_0028_0013__BE_R_0028_0014__RETIRING] :
          ( r_0028_0009__school(R_0028_0009__SCHOOL)
          & r_0028_0010__this_r_0028_0011__year(R_0028_0010__THIS_R_0028_0011__YEAR)
          & r_0028_0016__2065(R_0028_0016__2065)
          & r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring(R_0028_0012__WILL_R_0028_0013__BE_R_0028_0014__RETIRING)
          & has_r_0028_0015__in__nim(R_0028_0012__WILL_R_0028_0013__BE_R_0028_0014__RETIRING,R_0028_0016__2065)
          & has_arg0(R_0028_0012__WILL_R_0028_0013__BE_R_0028_0014__RETIRING,R_0028_0007__CHILDREN)
          & r_0028_0007__children(R_0028_0007__CHILDREN)
          & has_inv_arg0(R_0028_0007__CHILDREN,R_0028_0008__STARTING)
          & r_0028_0008__starting(R_0028_0008__STARTING)
          & has_nim(R_0028_0008__STARTING,R_0028_0010__THIS_R_0028_0011__YEAR)
          & has_arg1(R_0028_0008__STARTING,R_0028_0009__SCHOOL) ) ) ).