Context                Previous, Next                Top


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

%3 r_0028_0001__If If r_0028_0003__think think r_0028_0001__If->r_0028_0003__think [restriction] r_0028_0012__will will r_0028_0001__If->r_0028_0012__will [scope] r_0028_0002__you you r_0028_0003__think->r_0028_0002__you [arg0] r_0028_0005__it it r_0028_0003__think->r_0028_0005__it of [clr] r_0028_0013__be be r_0028_0012__will->r_0028_0013__be [scope] r_0028_0008__starting starting r_0028_0007__children children r_0028_0008__starting->r_0028_0007__children [arg0] r_0028_0009__school school r_0028_0008__starting->r_0028_0009__school [arg1] r_0028_0010__this_r_0028_0011__year this year r_0028_0008__starting->r_0028_0010__this_r_0028_0011__year [nim] r_0028_0014__retiring retiring r_0028_0013__be->r_0028_0014__retiring [scope] r_0028_0014__retiring->r_0028_0007__children [arg0] r_0028_0016__2065 2065 r_0028_0014__retiring->r_0028_0016__2065 in [nim] 
arc(r_0028_0001__If, r_0028_0003__think, restriction).
arc(r_0028_0001__If, r_0028_0012__will, scope).
arc(r_0028_0003__think, r_0028_0002__you, arg0).
arc(r_0028_0003__think, r_0028_0005__it, r_0028_0004__of_clr14).
arc(r_0028_0008__starting, r_0028_0007__children, arg0).
arc(r_0028_0008__starting, r_0028_0009__school, arg1).
arc(r_0028_0008__starting, r_0028_0010__this_r_0028_0011__year, nim28).
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_nim44).


%3 r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring will be retiring r_0028_0016__2065 2065 r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring->r_0028_0016__2065 in [nim] r_0028_0007__children children r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring->r_0028_0007__children [arg0] r_0028_0008__starting starting r_0028_0008__starting->r_0028_0007__children [arg0] r_0028_0010__this_r_0028_0011__year this year r_0028_0008__starting->r_0028_0010__this_r_0028_0011__year [nim] r_0028_0009__school school r_0028_0008__starting->r_0028_0009__school [arg1] r_0028_0003__think think r_0028_0005__it it r_0028_0003__think->r_0028_0005__it of [clr] r_0028_0002__you you r_0028_0003__think->r_0028_0002__you [arg0] r_0028_0001__If If r_0028_0001__If->r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring [scope] r_0028_0001__If->r_0028_0003__think [restriction] 
fof(formula,axiom,
    ? [R_0028_0007__CHILDREN,R_0028_0009__SCHOOL,R_0028_0010__THIS_R_0028_0011__YEAR,R_0028_0008__STARTING] :
      ( r_0028_0007__children(R_0028_0007__CHILDREN)
      & 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_0008__starting(R_0028_0008__STARTING)
      & has_nim28(R_0028_0008__STARTING,R_0028_0010__THIS_R_0028_0011__YEAR)
      & has_arg1(R_0028_0008__STARTING,R_0028_0009__SCHOOL)
      & has_arg0(R_0028_0008__STARTING,R_0028_0007__CHILDREN)
      & ! [R_0028_0003__THINK,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_0003__THINK)
            & has_r_0028_0004__of_clr14(R_0028_0003__THINK,R_0028_0005__IT)
            & has_arg0(R_0028_0003__THINK,R_0028_0002__YOU) )
         => ? [R_0028_0016__2065,R_0028_0012__WILL_R_0028_0013__BE_R_0028_0014__RETIRING] :
              ( 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_nim44(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) ) ) ) ).


n28_a_ted_talk_11 n28_a_ted_talk_11__1_1_1_1 If n28_a_ted_talk_11__1_1_2_1_1_1 you n28_a_ted_talk_11__1_1_2_2_1 think n28_a_ted_talk_11__1_1_2_3_1_1 of n28_a_ted_talk_11__1_1_2_3_2_1_1 it n28_a_ted_talk_11__1_2_1 , n28_a_ted_talk_11__1_3_1_1 children n28_a_ted_talk_11__1_3_2_1_1 starting n28_a_ted_talk_11__1_3_2_2_1_1 school n28_a_ted_talk_11__1_3_2_3_1_1 this n28_a_ted_talk_11__1_3_2_3_2_1 year n28_a_ted_talk_11__1_4_1 will n28_a_ted_talk_11__1_5_1_1 be n28_a_ted_talk_11__1_5_2_1_1 retiring n28_a_ted_talk_11__1_5_2_2_1_1 in n28_a_ted_talk_11__1_5_2_2_2_1_1 2065 n28_a_ted_talk_11__1_6_1 . n28_a_ted_talk_11__1 IP-MAT n28_a_ted_talk_11__1_1 PP-SCON n28_a_ted_talk_11__1->n28_a_ted_talk_11__1_1 n28_a_ted_talk_11__1_2 PUNC n28_a_ted_talk_11__1->n28_a_ted_talk_11__1_2 n28_a_ted_talk_11__1_3 NP-SBJ n28_a_ted_talk_11__1->n28_a_ted_talk_11__1_3 n28_a_ted_talk_11__1_4 MD;_cat_Vi_ n28_a_ted_talk_11__1->n28_a_ted_talk_11__1_4 n28_a_ted_talk_11__1_5 IP-INF-CAT n28_a_ted_talk_11__1->n28_a_ted_talk_11__1_5 n28_a_ted_talk_11__1_6 PUNC n28_a_ted_talk_11__1->n28_a_ted_talk_11__1_6 n28_a_ted_talk_11__1_1_1 P-CONN n28_a_ted_talk_11__1_1->n28_a_ted_talk_11__1_1_1 n28_a_ted_talk_11__1_1_2 IP-ADV n28_a_ted_talk_11__1_1->n28_a_ted_talk_11__1_1_2 n28_a_ted_talk_11__1_1_1->n28_a_ted_talk_11__1_1_1_1 n28_a_ted_talk_11__1_1_2_1 NP-SBJ n28_a_ted_talk_11__1_1_2->n28_a_ted_talk_11__1_1_2_1 n28_a_ted_talk_11__1_1_2_2 VBP;_Ipr_ n28_a_ted_talk_11__1_1_2->n28_a_ted_talk_11__1_1_2_2 n28_a_ted_talk_11__1_1_2_3 PP-CLR n28_a_ted_talk_11__1_1_2->n28_a_ted_talk_11__1_1_2_3 n28_a_ted_talk_11__1_1_2_1_1 PRO n28_a_ted_talk_11__1_1_2_1->n28_a_ted_talk_11__1_1_2_1_1 n28_a_ted_talk_11__1_1_2_1_1->n28_a_ted_talk_11__1_1_2_1_1_1 n28_a_ted_talk_11__1_1_2_2->n28_a_ted_talk_11__1_1_2_2_1 n28_a_ted_talk_11__1_1_2_3_1 P-ROLE n28_a_ted_talk_11__1_1_2_3->n28_a_ted_talk_11__1_1_2_3_1 n28_a_ted_talk_11__1_1_2_3_2 NP n28_a_ted_talk_11__1_1_2_3->n28_a_ted_talk_11__1_1_2_3_2 n28_a_ted_talk_11__1_1_2_3_1->n28_a_ted_talk_11__1_1_2_3_1_1 n28_a_ted_talk_11__1_1_2_3_2_1 PRO n28_a_ted_talk_11__1_1_2_3_2->n28_a_ted_talk_11__1_1_2_3_2_1 n28_a_ted_talk_11__1_1_2_3_2_1->n28_a_ted_talk_11__1_1_2_3_2_1_1 n28_a_ted_talk_11__1_2->n28_a_ted_talk_11__1_2_1 n28_a_ted_talk_11__1_3_1 NS n28_a_ted_talk_11__1_3->n28_a_ted_talk_11__1_3_1 n28_a_ted_talk_11__1_3_2 IP-PPL n28_a_ted_talk_11__1_3->n28_a_ted_talk_11__1_3_2 n28_a_ted_talk_11__1_3_1->n28_a_ted_talk_11__1_3_1_1 n28_a_ted_talk_11__1_3_2_1 VAG;_Tn_ n28_a_ted_talk_11__1_3_2->n28_a_ted_talk_11__1_3_2_1 n28_a_ted_talk_11__1_3_2_2 NP-OB1 n28_a_ted_talk_11__1_3_2->n28_a_ted_talk_11__1_3_2_2 n28_a_ted_talk_11__1_3_2_3 NP-NIM n28_a_ted_talk_11__1_3_2->n28_a_ted_talk_11__1_3_2_3 n28_a_ted_talk_11__1_3_2_1->n28_a_ted_talk_11__1_3_2_1_1 n28_a_ted_talk_11__1_3_2_2_1 N n28_a_ted_talk_11__1_3_2_2->n28_a_ted_talk_11__1_3_2_2_1 n28_a_ted_talk_11__1_3_2_2_1->n28_a_ted_talk_11__1_3_2_2_1_1 n28_a_ted_talk_11__1_3_2_3_1 D n28_a_ted_talk_11__1_3_2_3->n28_a_ted_talk_11__1_3_2_3_1 n28_a_ted_talk_11__1_3_2_3_2 N n28_a_ted_talk_11__1_3_2_3->n28_a_ted_talk_11__1_3_2_3_2 n28_a_ted_talk_11__1_3_2_3_1->n28_a_ted_talk_11__1_3_2_3_1_1 n28_a_ted_talk_11__1_3_2_3_2->n28_a_ted_talk_11__1_3_2_3_2_1 n28_a_ted_talk_11__1_4->n28_a_ted_talk_11__1_4_1 n28_a_ted_talk_11__1_5_1 BE;_cat_Vg_ n28_a_ted_talk_11__1_5->n28_a_ted_talk_11__1_5_1 n28_a_ted_talk_11__1_5_2 IP-PPL-CAT n28_a_ted_talk_11__1_5->n28_a_ted_talk_11__1_5_2 n28_a_ted_talk_11__1_5_1->n28_a_ted_talk_11__1_5_1_1 n28_a_ted_talk_11__1_5_2_1 VAG;_I_ n28_a_ted_talk_11__1_5_2->n28_a_ted_talk_11__1_5_2_1 n28_a_ted_talk_11__1_5_2_2 PP-NIM n28_a_ted_talk_11__1_5_2->n28_a_ted_talk_11__1_5_2_2 n28_a_ted_talk_11__1_5_2_1->n28_a_ted_talk_11__1_5_2_1_1 n28_a_ted_talk_11__1_5_2_2_1 P-ROLE n28_a_ted_talk_11__1_5_2_2->n28_a_ted_talk_11__1_5_2_2_1 n28_a_ted_talk_11__1_5_2_2_2 NP n28_a_ted_talk_11__1_5_2_2->n28_a_ted_talk_11__1_5_2_2_2 n28_a_ted_talk_11__1_5_2_2_1->n28_a_ted_talk_11__1_5_2_2_1_1 n28_a_ted_talk_11__1_5_2_2_2_1 NPR n28_a_ted_talk_11__1_5_2_2_2->n28_a_ted_talk_11__1_5_2_2_2_1 n28_a_ted_talk_11__1_5_2_2_2_1->n28_a_ted_talk_11__1_5_2_2_2_1_1 n28_a_ted_talk_11__1_6->n28_a_ted_talk_11__1_6_1 
( (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))