Context                Previous, Next                Top


29_a_ted_talk_11
Nobody has a clue, despite all the expertise that's been on parade for the past four days, what the world will look like in five years' time.

%3 r_0029_0001__Nobody_quant Nobody [quant] r_0029_0007__all_quant all [quant] r_0029_0001__Nobody_quant->r_0029_0007__all_quant [scope] z_000_29_a_ted_talk_11_2 r_0029_0001__Nobody_quant->z_000_29_a_ted_talk_11_2 [restriction] r_0029_0002__has has r_0029_0007__all_quant->r_0029_0002__has [scope] r_0029_0008__the_r_0029_0009__expertise the expertise r_0029_0007__all_quant->r_0029_0008__the_r_0029_0009__expertise [restriction] r_0029_0002__has->z_000_29_a_ted_talk_11_2 [arg0] r_0029_0003__a_r_0029_0004__clue a clue r_0029_0002__has->r_0029_0003__a_r_0029_0004__clue [arg1] r_0029_0002__has->r_0029_0008__the_r_0029_0009__expertise despite [nim] r_0029_0010__that_r_0029_0011___apos_s that 's r_0029_0012__been been r_0029_0010__that_r_0029_0011___apos_s->r_0029_0012__been [scope] r_0029_0012__been->r_0029_0008__the_r_0029_0009__expertise [arg0] r_0029_0014__parade parade r_0029_0012__been->r_0029_0014__parade on [clr] r_0029_0016__the_r_0029_0018__four_r_0029_0019__days the four days r_0029_0012__been->r_0029_0016__the_r_0029_0018__four_r_0029_0019__days for [nim] r_0029_0017__past past r_0029_0016__the_r_0029_0018__four_r_0029_0019__days->r_0029_0017__past [attrib] r_0029_0024__will will r_0029_0025__look look r_0029_0024__will->r_0029_0025__look [scope] r_0029_0022__the_r_0029_0023__world the world r_0029_0025__look->r_0029_0022__the_r_0029_0023__world [arg0] r_0029_0031__time time r_0029_0025__look->r_0029_0031__time in [nim] z_000_29_a_ted_talk_11_58 r_0029_0025__look->z_000_29_a_ted_talk_11_58 like [clr] r_0029_0028__five_r_0029_0029__years_r_0029_0030___apos_ five years ' r_0029_0031__time->r_0029_0028__five_r_0029_0029__years_r_0029_0030___apos_ [gen] z_000_29_a_ted_talk_11_57 z_000_29_a_ted_talk_11_57->r_0029_0003__a_r_0029_0004__clue [arg0] z_000_29_a_ted_talk_11_57->z_000_29_a_ted_talk_11_58 [prd] 
arc(r_0029_0001__Nobody_quant, r_0029_0007__all_quant, scope).
arc(r_0029_0001__Nobody_quant, z_000_29_a_ted_talk_11_2, restriction).
arc(r_0029_0002__has, r_0029_0003__a_r_0029_0004__clue, arg1).
arc(r_0029_0002__has, r_0029_0008__the_r_0029_0009__expertise, r_0029_0006__despite_nim19).
arc(r_0029_0002__has, z_000_29_a_ted_talk_11_2, arg0).
arc(r_0029_0007__all_quant, r_0029_0002__has, scope).
arc(r_0029_0007__all_quant, r_0029_0008__the_r_0029_0009__expertise, restriction).
arc(r_0029_0010__that_r_0029_0011___apos_s, r_0029_0012__been, scope).
arc(r_0029_0012__been, r_0029_0008__the_r_0029_0009__expertise, arg0).
arc(r_0029_0012__been, r_0029_0014__parade, r_0029_0013__on_clr39).
arc(r_0029_0012__been, r_0029_0016__the_r_0029_0018__four_r_0029_0019__days, r_0029_0015__for_nim45).
arc(r_0029_0016__the_r_0029_0018__four_r_0029_0019__days, r_0029_0017__past, attrib48).
arc(r_0029_0024__will, r_0029_0025__look, scope).
arc(r_0029_0025__look, r_0029_0022__the_r_0029_0023__world, arg0).
arc(r_0029_0025__look, r_0029_0031__time, r_0029_0027__in_nim81).
arc(r_0029_0025__look, z_000_29_a_ted_talk_11_58, r_0029_0026__like_clr76).
arc(r_0029_0031__time, r_0029_0028__five_r_0029_0029__years_r_0029_0030___apos_, gen).
arc(z_000_29_a_ted_talk_11_57, r_0029_0003__a_r_0029_0004__clue, arg0).
arc(z_000_29_a_ted_talk_11_57, z_000_29_a_ted_talk_11_58, prd).


%3 r_0029_0001__Nobody_quant Nobody [quant] r_0029_0007__all_quant all [quant] r_0029_0001__Nobody_quant->r_0029_0007__all_quant [scope] z_000_29_a_ted_talk_11_2 r_0029_0001__Nobody_quant->z_000_29_a_ted_talk_11_2 [restriction] r_0029_0002__has has r_0029_0007__all_quant->r_0029_0002__has [scope] r_0029_0010__that_r_0029_0011___apos_s_r_0029_0012__been that 's been r_0029_0007__all_quant->r_0029_0010__that_r_0029_0011___apos_s_r_0029_0012__been [restriction] r_0029_0002__has->z_000_29_a_ted_talk_11_2 [arg0] r_0029_0003__a_r_0029_0004__clue a clue r_0029_0002__has->r_0029_0003__a_r_0029_0004__clue [arg1] r_0029_0008__the_r_0029_0009__expertise the expertise r_0029_0002__has->r_0029_0008__the_r_0029_0009__expertise despite [nim] r_0029_0010__that_r_0029_0011___apos_s_r_0029_0012__been->r_0029_0008__the_r_0029_0009__expertise [arg0] r_0029_0014__parade parade r_0029_0010__that_r_0029_0011___apos_s_r_0029_0012__been->r_0029_0014__parade on [clr] r_0029_0016__the_r_0029_0018__four_r_0029_0019__days the four days r_0029_0010__that_r_0029_0011___apos_s_r_0029_0012__been->r_0029_0016__the_r_0029_0018__four_r_0029_0019__days for [nim] r_0029_0017__past past r_0029_0016__the_r_0029_0018__four_r_0029_0019__days->r_0029_0017__past [attrib] r_0029_0024__will_r_0029_0025__look will look r_0029_0022__the_r_0029_0023__world the world r_0029_0024__will_r_0029_0025__look->r_0029_0022__the_r_0029_0023__world [arg0] r_0029_0031__time time r_0029_0024__will_r_0029_0025__look->r_0029_0031__time in [nim] z_000_29_a_ted_talk_11_58 r_0029_0024__will_r_0029_0025__look->z_000_29_a_ted_talk_11_58 like [clr] r_0029_0028__five_r_0029_0029__years_r_0029_0030___apos_ five years ' r_0029_0031__time->r_0029_0028__five_r_0029_0029__years_r_0029_0030___apos_ [gen] z_000_29_a_ted_talk_11_57 z_000_29_a_ted_talk_11_57->r_0029_0003__a_r_0029_0004__clue [arg0] z_000_29_a_ted_talk_11_57->z_000_29_a_ted_talk_11_58 [prd] 
fof(formula,axiom,
    ? [R_29_24_WILL_LOOK,R_29_22_THE_WORLD,R_29_31_TIME,R_29_28_FIVE_YEARS_APOS_,Z_29_A_TED_TALK_11_57,R_29_3_A_CLUE,Z_29_A_TED_TALK_11_58] :
      ( the_world(R_29_22_THE_WORLD)
      & five_years_apos_(R_29_28_FIVE_YEARS_APOS_)
      & a_clue(R_29_3_A_CLUE)
      & ! [Z_29_A_TED_TALK_11_2] :
          ( true
         => ! [R_29_10_THAT_APOS_S_BEEN,R_29_8_THE_EXPERTISE,R_29_14_PARADE,R_29_16_THE_FOUR_DAYS,R_29_17_PAST] :
              ( ( the_expertise(R_29_8_THE_EXPERTISE)
                & parade(R_29_14_PARADE)
                & past(R_29_17_PAST)
                & that_apos_s_been(R_29_10_THAT_APOS_S_BEEN,R_29_8_THE_EXPERTISE)
                & on_clr39(R_29_10_THAT_APOS_S_BEEN,R_29_14_PARADE)
                & for_nim45(R_29_10_THAT_APOS_S_BEEN,R_29_16_THE_FOUR_DAYS)
                & the_four_days(R_29_16_THE_FOUR_DAYS)
                & attrib48(R_29_16_THE_FOUR_DAYS,R_29_17_PAST) )
             => ? [R_29_2_HAS] :
                  ( has(R_29_2_HAS,Z_29_A_TED_TALK_11_2,R_29_3_A_CLUE)
                  & despite_nim19(R_29_2_HAS,R_29_8_THE_EXPERTISE) ) ) )
      & will_look(R_29_24_WILL_LOOK,R_29_22_THE_WORLD)
      & like_clr76(R_29_24_WILL_LOOK,Z_29_A_TED_TALK_11_58)
      & in_nim81(R_29_24_WILL_LOOK,R_29_31_TIME)
      & time(R_29_31_TIME)
      & gen(R_29_31_TIME,R_29_28_FIVE_YEARS_APOS_)
      & z_29_a_ted_talk_11_57(Z_29_A_TED_TALK_11_57,R_29_3_A_CLUE,Z_29_A_TED_TALK_11_58) ) ).


n29_a_ted_talk_11 n29_a_ted_talk_11_4 Nobody n29_a_ted_talk_11_6 has n29_a_ted_talk_11_9 a n29_a_ted_talk_11_11 clue n29_a_ted_talk_11_13 *ICH*-158 n29_a_ted_talk_11_15 , n29_a_ted_talk_11_18 despite n29_a_ted_talk_11_21 all n29_a_ted_talk_11_23 the n29_a_ted_talk_11_25 expertise n29_a_ted_talk_11_28 that n29_a_ted_talk_11_30 *T* n29_a_ted_talk_11_32 's n29_a_ted_talk_11_35 been n29_a_ted_talk_11_38 on n29_a_ted_talk_11_41 parade n29_a_ted_talk_11_44 for n29_a_ted_talk_11_47 the n29_a_ted_talk_11_50 past n29_a_ted_talk_11_52 four n29_a_ted_talk_11_54 days n29_a_ted_talk_11_56 , n29_a_ted_talk_11_62 what n29_a_ted_talk_11_65 the n29_a_ted_talk_11_67 world n29_a_ted_talk_11_69 will n29_a_ted_talk_11_72 look n29_a_ted_talk_11_75 like n29_a_ted_talk_11_77 *ICH*-113 n29_a_ted_talk_11_80 in n29_a_ted_talk_11_84 five n29_a_ted_talk_11_86 years n29_a_ted_talk_11_88 ' n29_a_ted_talk_11_90 time n29_a_ted_talk_11_92 . n29_a_ted_talk_11_1 IP-MAT n29_a_ted_talk_11_2 NP-SBJ n29_a_ted_talk_11_1->n29_a_ted_talk_11_2 n29_a_ted_talk_11_5 HVP;_Tn_ n29_a_ted_talk_11_1->n29_a_ted_talk_11_5 n29_a_ted_talk_11_7 NP-OB1 n29_a_ted_talk_11_1->n29_a_ted_talk_11_7 n29_a_ted_talk_11_14 PUNC n29_a_ted_talk_11_1->n29_a_ted_talk_11_14 n29_a_ted_talk_11_16 PP-NIM n29_a_ted_talk_11_1->n29_a_ted_talk_11_16 n29_a_ted_talk_11_55 PUNC n29_a_ted_talk_11_1->n29_a_ted_talk_11_55 n29_a_ted_talk_11_57 IP-PPL-EPD-158 n29_a_ted_talk_11_1->n29_a_ted_talk_11_57 n29_a_ted_talk_11_91 PUNC n29_a_ted_talk_11_1->n29_a_ted_talk_11_91 n29_a_ted_talk_11_3 Q;_nphd_ n29_a_ted_talk_11_2->n29_a_ted_talk_11_3 n29_a_ted_talk_11_3->n29_a_ted_talk_11_4 n29_a_ted_talk_11_5->n29_a_ted_talk_11_6 n29_a_ted_talk_11_8 D n29_a_ted_talk_11_7->n29_a_ted_talk_11_8 n29_a_ted_talk_11_10 N n29_a_ted_talk_11_7->n29_a_ted_talk_11_10 n29_a_ted_talk_11_12 IP-PPL n29_a_ted_talk_11_7->n29_a_ted_talk_11_12 n29_a_ted_talk_11_8->n29_a_ted_talk_11_9 n29_a_ted_talk_11_10->n29_a_ted_talk_11_11 n29_a_ted_talk_11_12->n29_a_ted_talk_11_13 n29_a_ted_talk_11_14->n29_a_ted_talk_11_15 n29_a_ted_talk_11_17 P-ROLE n29_a_ted_talk_11_16->n29_a_ted_talk_11_17 n29_a_ted_talk_11_19 NP n29_a_ted_talk_11_16->n29_a_ted_talk_11_19 n29_a_ted_talk_11_17->n29_a_ted_talk_11_18 n29_a_ted_talk_11_20 Q;_nphd_ n29_a_ted_talk_11_19->n29_a_ted_talk_11_20 n29_a_ted_talk_11_22 D n29_a_ted_talk_11_19->n29_a_ted_talk_11_22 n29_a_ted_talk_11_24 N n29_a_ted_talk_11_19->n29_a_ted_talk_11_24 n29_a_ted_talk_11_26 IP-REL n29_a_ted_talk_11_19->n29_a_ted_talk_11_26 n29_a_ted_talk_11_20->n29_a_ted_talk_11_21 n29_a_ted_talk_11_22->n29_a_ted_talk_11_23 n29_a_ted_talk_11_24->n29_a_ted_talk_11_25 n29_a_ted_talk_11_27 C n29_a_ted_talk_11_26->n29_a_ted_talk_11_27 n29_a_ted_talk_11_29 NP-SBJ n29_a_ted_talk_11_26->n29_a_ted_talk_11_29 n29_a_ted_talk_11_31 HVP;_cat_Ve_ n29_a_ted_talk_11_26->n29_a_ted_talk_11_31 n29_a_ted_talk_11_33 IP-PPL-CAT n29_a_ted_talk_11_26->n29_a_ted_talk_11_33 n29_a_ted_talk_11_27->n29_a_ted_talk_11_28 n29_a_ted_talk_11_29->n29_a_ted_talk_11_30 n29_a_ted_talk_11_31->n29_a_ted_talk_11_32 n29_a_ted_talk_11_34 BEN;_Ipr_ n29_a_ted_talk_11_33->n29_a_ted_talk_11_34 n29_a_ted_talk_11_36 PP-CLR n29_a_ted_talk_11_33->n29_a_ted_talk_11_36 n29_a_ted_talk_11_42 PP-NIM n29_a_ted_talk_11_33->n29_a_ted_talk_11_42 n29_a_ted_talk_11_34->n29_a_ted_talk_11_35 n29_a_ted_talk_11_37 P-ROLE n29_a_ted_talk_11_36->n29_a_ted_talk_11_37 n29_a_ted_talk_11_39 NP n29_a_ted_talk_11_36->n29_a_ted_talk_11_39 n29_a_ted_talk_11_37->n29_a_ted_talk_11_38 n29_a_ted_talk_11_40 N n29_a_ted_talk_11_39->n29_a_ted_talk_11_40 n29_a_ted_talk_11_40->n29_a_ted_talk_11_41 n29_a_ted_talk_11_43 P-ROLE n29_a_ted_talk_11_42->n29_a_ted_talk_11_43 n29_a_ted_talk_11_45 NP n29_a_ted_talk_11_42->n29_a_ted_talk_11_45 n29_a_ted_talk_11_43->n29_a_ted_talk_11_44 n29_a_ted_talk_11_46 D n29_a_ted_talk_11_45->n29_a_ted_talk_11_46 n29_a_ted_talk_11_48 ADJP n29_a_ted_talk_11_45->n29_a_ted_talk_11_48 n29_a_ted_talk_11_51 NUM n29_a_ted_talk_11_45->n29_a_ted_talk_11_51 n29_a_ted_talk_11_53 NS n29_a_ted_talk_11_45->n29_a_ted_talk_11_53 n29_a_ted_talk_11_46->n29_a_ted_talk_11_47 n29_a_ted_talk_11_49 ADJ n29_a_ted_talk_11_48->n29_a_ted_talk_11_49 n29_a_ted_talk_11_49->n29_a_ted_talk_11_50 n29_a_ted_talk_11_51->n29_a_ted_talk_11_52 n29_a_ted_talk_11_53->n29_a_ted_talk_11_54 n29_a_ted_talk_11_55->n29_a_ted_talk_11_56 n29_a_ted_talk_11_58 NP-PRD n29_a_ted_talk_11_57->n29_a_ted_talk_11_58 n29_a_ted_talk_11_59 IP-REL n29_a_ted_talk_11_58->n29_a_ted_talk_11_59 n29_a_ted_talk_11_60 NP-113 n29_a_ted_talk_11_59->n29_a_ted_talk_11_60 n29_a_ted_talk_11_63 NP-SBJ n29_a_ted_talk_11_59->n29_a_ted_talk_11_63 n29_a_ted_talk_11_68 MD;_cat_Vi_ n29_a_ted_talk_11_59->n29_a_ted_talk_11_68 n29_a_ted_talk_11_70 IP-INF-CAT n29_a_ted_talk_11_59->n29_a_ted_talk_11_70 n29_a_ted_talk_11_61 RPRO n29_a_ted_talk_11_60->n29_a_ted_talk_11_61 n29_a_ted_talk_11_61->n29_a_ted_talk_11_62 n29_a_ted_talk_11_64 D n29_a_ted_talk_11_63->n29_a_ted_talk_11_64 n29_a_ted_talk_11_66 N n29_a_ted_talk_11_63->n29_a_ted_talk_11_66 n29_a_ted_talk_11_64->n29_a_ted_talk_11_65 n29_a_ted_talk_11_66->n29_a_ted_talk_11_67 n29_a_ted_talk_11_68->n29_a_ted_talk_11_69 n29_a_ted_talk_11_71 VB;_Ipr_ n29_a_ted_talk_11_70->n29_a_ted_talk_11_71 n29_a_ted_talk_11_73 PP-CLR n29_a_ted_talk_11_70->n29_a_ted_talk_11_73 n29_a_ted_talk_11_78 PP-NIM n29_a_ted_talk_11_70->n29_a_ted_talk_11_78 n29_a_ted_talk_11_71->n29_a_ted_talk_11_72 n29_a_ted_talk_11_74 P-ROLE n29_a_ted_talk_11_73->n29_a_ted_talk_11_74 n29_a_ted_talk_11_76 NP n29_a_ted_talk_11_73->n29_a_ted_talk_11_76 n29_a_ted_talk_11_74->n29_a_ted_talk_11_75 n29_a_ted_talk_11_76->n29_a_ted_talk_11_77 n29_a_ted_talk_11_79 P-ROLE n29_a_ted_talk_11_78->n29_a_ted_talk_11_79 n29_a_ted_talk_11_81 NP n29_a_ted_talk_11_78->n29_a_ted_talk_11_81 n29_a_ted_talk_11_79->n29_a_ted_talk_11_80 n29_a_ted_talk_11_82 NP-GEN n29_a_ted_talk_11_81->n29_a_ted_talk_11_82 n29_a_ted_talk_11_89 N n29_a_ted_talk_11_81->n29_a_ted_talk_11_89 n29_a_ted_talk_11_83 NUM n29_a_ted_talk_11_82->n29_a_ted_talk_11_83 n29_a_ted_talk_11_85 NS n29_a_ted_talk_11_82->n29_a_ted_talk_11_85 n29_a_ted_talk_11_87 GENM n29_a_ted_talk_11_82->n29_a_ted_talk_11_87 n29_a_ted_talk_11_83->n29_a_ted_talk_11_84 n29_a_ted_talk_11_85->n29_a_ted_talk_11_86 n29_a_ted_talk_11_87->n29_a_ted_talk_11_88 n29_a_ted_talk_11_89->n29_a_ted_talk_11_90 n29_a_ted_talk_11_91->n29_a_ted_talk_11_92 
( (IP-MAT (NP-SBJ (Q;_nphd_ Nobody;{nobody}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (N clue;{clue})
                  (IP-PPL *ICH*-158))
          (PUNC ,)
          (PP-NIM (P-ROLE despite;{despite})
                  (NP (Q;_nphd_ all;{all})
                      (D the;{the})
                      (N expertise;{expertise})
                      (IP-REL (C that;{that})
                              (NP-SBJ *T*)
                              (HVP;_cat_Ve_ <apos>s;{have})
                              (IP-PPL-CAT (BEN;_Ipr_ been;{be[on]})
                                          (PP-CLR (P-ROLE on;{on})
                                                  (NP (N parade;{parade})))
                                          (PP-NIM (P-ROLE for;{for})
                                                  (NP (D the;{the})
                                                      (ADJP (ADJ past;{past}))
                                                      (NUM four;{four})
                                                      (NS days;{day})))))))
          (PUNC ,)
          (IP-PPL-EPD-158 (NP-PRD (IP-REL (NP-113 (RPRO what;{what}))
                                          (NP-SBJ (D the;{the})
                                                  (N world;{world}))
                                          (MD;_cat_Vi_ will;{will})
                                          (IP-INF-CAT (VB;_Ipr_ look;{look[like]})
                                                      (PP-CLR (P-ROLE like;{like})
                                                              (NP *ICH*-113))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (NP-GEN (NUM five;{five})
                                                                          (NS years;{year})
                                                                          (GENM <apos>))
                                                                  (N time;{time})))))))
          (PUNC .))
  (ID 29_a_ted_talk_11))