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_28_8_STARTING,R_28_7_CHILDREN,R_28_9_SCHOOL,R_28_10_THIS_YEAR] :
      ( children(R_28_7_CHILDREN)
      & school(R_28_9_SCHOOL)
      & this_year(R_28_10_THIS_YEAR)
      & ! [R_28_3_THINK,R_28_2_YOU,R_28_5_IT] :
          ( ( you(R_28_2_YOU)
            & it(R_28_5_IT)
            & think(R_28_3_THINK,R_28_2_YOU)
            & of_clr14(R_28_3_THINK,R_28_5_IT) )
         => ? [R_28_12_WILL_BE_RETIRING,R_28_16_2065] :
              ( 2065(R_28_16_2065)
              & will_be_retiring(R_28_12_WILL_BE_RETIRING,R_28_7_CHILDREN)
              & in_nim44(R_28_12_WILL_BE_RETIRING,R_28_16_2065) ) )
      & starting(R_28_8_STARTING,R_28_7_CHILDREN,R_28_9_SCHOOL)
      & nim28(R_28_8_STARTING,R_28_10_THIS_YEAR) ) ).


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