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_0001__If If r_0028_0003__think think r_0028_0001__If->r_0028_0003__think [restriction] r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring will be retiring r_0028_0001__If->r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring [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_0007__children children r_0028_0012__will_r_0028_0013__be_r_0028_0014__retiring->r_0028_0007__children [arg0] 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_0008__starting starting 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] 
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_4 If n28_a_ted_talk_11_8 you n28_a_ted_talk_11_10 think n28_a_ted_talk_11_13 of n28_a_ted_talk_11_16 it n28_a_ted_talk_11_18 , n28_a_ted_talk_11_21 children n28_a_ted_talk_11_24 starting n28_a_ted_talk_11_27 school n28_a_ted_talk_11_30 this n28_a_ted_talk_11_32 year n28_a_ted_talk_11_34 will n28_a_ted_talk_11_37 be n28_a_ted_talk_11_40 retiring n28_a_ted_talk_11_43 in n28_a_ted_talk_11_46 2065 n28_a_ted_talk_11_48 . n28_a_ted_talk_11_1 IP-MAT n28_a_ted_talk_11_2 PP-SCON n28_a_ted_talk_11_1->n28_a_ted_talk_11_2 n28_a_ted_talk_11_17 PUNC n28_a_ted_talk_11_1->n28_a_ted_talk_11_17 n28_a_ted_talk_11_19 NP-SBJ n28_a_ted_talk_11_1->n28_a_ted_talk_11_19 n28_a_ted_talk_11_33 MD;_cat_Vi_ n28_a_ted_talk_11_1->n28_a_ted_talk_11_33 n28_a_ted_talk_11_35 IP-INF-CAT n28_a_ted_talk_11_1->n28_a_ted_talk_11_35 n28_a_ted_talk_11_47 PUNC n28_a_ted_talk_11_1->n28_a_ted_talk_11_47 n28_a_ted_talk_11_3 P-CONN n28_a_ted_talk_11_2->n28_a_ted_talk_11_3 n28_a_ted_talk_11_5 IP-ADV n28_a_ted_talk_11_2->n28_a_ted_talk_11_5 n28_a_ted_talk_11_3->n28_a_ted_talk_11_4 n28_a_ted_talk_11_6 NP-SBJ n28_a_ted_talk_11_5->n28_a_ted_talk_11_6 n28_a_ted_talk_11_9 VBP;_Ipr_ n28_a_ted_talk_11_5->n28_a_ted_talk_11_9 n28_a_ted_talk_11_11 PP-CLR n28_a_ted_talk_11_5->n28_a_ted_talk_11_11 n28_a_ted_talk_11_7 PRO n28_a_ted_talk_11_6->n28_a_ted_talk_11_7 n28_a_ted_talk_11_7->n28_a_ted_talk_11_8 n28_a_ted_talk_11_9->n28_a_ted_talk_11_10 n28_a_ted_talk_11_12 P-ROLE n28_a_ted_talk_11_11->n28_a_ted_talk_11_12 n28_a_ted_talk_11_14 NP n28_a_ted_talk_11_11->n28_a_ted_talk_11_14 n28_a_ted_talk_11_12->n28_a_ted_talk_11_13 n28_a_ted_talk_11_15 PRO n28_a_ted_talk_11_14->n28_a_ted_talk_11_15 n28_a_ted_talk_11_15->n28_a_ted_talk_11_16 n28_a_ted_talk_11_17->n28_a_ted_talk_11_18 n28_a_ted_talk_11_20 NS n28_a_ted_talk_11_19->n28_a_ted_talk_11_20 n28_a_ted_talk_11_22 IP-PPL n28_a_ted_talk_11_19->n28_a_ted_talk_11_22 n28_a_ted_talk_11_20->n28_a_ted_talk_11_21 n28_a_ted_talk_11_23 VAG;_Tn_ n28_a_ted_talk_11_22->n28_a_ted_talk_11_23 n28_a_ted_talk_11_25 NP-OB1 n28_a_ted_talk_11_22->n28_a_ted_talk_11_25 n28_a_ted_talk_11_28 NP-NIM n28_a_ted_talk_11_22->n28_a_ted_talk_11_28 n28_a_ted_talk_11_23->n28_a_ted_talk_11_24 n28_a_ted_talk_11_26 N n28_a_ted_talk_11_25->n28_a_ted_talk_11_26 n28_a_ted_talk_11_26->n28_a_ted_talk_11_27 n28_a_ted_talk_11_29 D n28_a_ted_talk_11_28->n28_a_ted_talk_11_29 n28_a_ted_talk_11_31 N n28_a_ted_talk_11_28->n28_a_ted_talk_11_31 n28_a_ted_talk_11_29->n28_a_ted_talk_11_30 n28_a_ted_talk_11_31->n28_a_ted_talk_11_32 n28_a_ted_talk_11_33->n28_a_ted_talk_11_34 n28_a_ted_talk_11_36 BE;_cat_Vg_ n28_a_ted_talk_11_35->n28_a_ted_talk_11_36 n28_a_ted_talk_11_38 IP-PPL-CAT n28_a_ted_talk_11_35->n28_a_ted_talk_11_38 n28_a_ted_talk_11_36->n28_a_ted_talk_11_37 n28_a_ted_talk_11_39 VAG;_I_ n28_a_ted_talk_11_38->n28_a_ted_talk_11_39 n28_a_ted_talk_11_41 PP-NIM n28_a_ted_talk_11_38->n28_a_ted_talk_11_41 n28_a_ted_talk_11_39->n28_a_ted_talk_11_40 n28_a_ted_talk_11_42 P-ROLE n28_a_ted_talk_11_41->n28_a_ted_talk_11_42 n28_a_ted_talk_11_44 NP n28_a_ted_talk_11_41->n28_a_ted_talk_11_44 n28_a_ted_talk_11_42->n28_a_ted_talk_11_43 n28_a_ted_talk_11_45 NPR n28_a_ted_talk_11_44->n28_a_ted_talk_11_45 n28_a_ted_talk_11_45->n28_a_ted_talk_11_46 n28_a_ted_talk_11_47->n28_a_ted_talk_11_48 
( (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))