TSPC 29_a_ted_talk

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.

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

fof(formula,axiom,
    ? [R_0029_0022__THE_R_0029_0023__WORLD,R_0029_0028__FIVE_R_0029_0029__YEARS_R_0029_0030___APOS_,R_0029_0031__TIME,Z_000_29_A_TED_TALK_11_58,R_0029_0024__WILL_R_0029_0025__LOOK,R_0029_0003__A_R_0029_0004__CLUE,Z_000_29_A_TED_TALK_11_57] :
      ( r_0029_0003__a_r_0029_0004__clue(R_0029_0003__A_R_0029_0004__CLUE)
      & r_0029_0022__the_r_0029_0023__world(R_0029_0022__THE_R_0029_0023__WORLD)
      & r_0029_0028__five_r_0029_0029__years_r_0029_0030___apos_(R_0029_0028__FIVE_R_0029_0029__YEARS_R_0029_0030___APOS_)
      & z_000_29_a_ted_talk_11_58(Z_000_29_A_TED_TALK_11_58)
      & z_000_29_a_ted_talk_11_57(Z_000_29_A_TED_TALK_11_57)
      & has_prd(Z_000_29_A_TED_TALK_11_57,Z_000_29_A_TED_TALK_11_58)
      & has_arg0(Z_000_29_A_TED_TALK_11_57,R_0029_0003__A_R_0029_0004__CLUE)
      & r_0029_0024__will_r_0029_0025__look(R_0029_0024__WILL_R_0029_0025__LOOK)
      & has_r_0029_0026__like_clr76(R_0029_0024__WILL_R_0029_0025__LOOK,Z_000_29_A_TED_TALK_11_58)
      & has_r_0029_0027__in_nim81(R_0029_0024__WILL_R_0029_0025__LOOK,R_0029_0031__TIME)
      & r_0029_0031__time(R_0029_0031__TIME)
      & has_gen(R_0029_0031__TIME,R_0029_0028__FIVE_R_0029_0029__YEARS_R_0029_0030___APOS_)
      & has_arg0(R_0029_0024__WILL_R_0029_0025__LOOK,R_0029_0022__THE_R_0029_0023__WORLD)
      & ! [Z_000_29_A_TED_TALK_11_2] :
          ( z_000_29_a_ted_talk_11_2(Z_000_29_A_TED_TALK_11_2)
         => ! [R_0029_0008__THE_R_0029_0009__EXPERTISE,R_0029_0014__PARADE,R_0029_0017__PAST,R_0029_0016__THE_R_0029_0018__FOUR_R_0029_0019__DAYS,R_0029_0010__THAT_R_0029_0011___APOS_S_R_0029_0012__BEEN] :
              ( ( r_0029_0008__the_r_0029_0009__expertise(R_0029_0008__THE_R_0029_0009__EXPERTISE)
                & r_0029_0014__parade(R_0029_0014__PARADE)
                & r_0029_0017__past(R_0029_0017__PAST)
                & r_0029_0010__that_r_0029_0011___apos_s_r_0029_0012__been(R_0029_0010__THAT_R_0029_0011___APOS_S_R_0029_0012__BEEN)
                & has_r_0029_0015__for_nim45(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)
                & r_0029_0016__the_r_0029_0018__four_r_0029_0019__days(R_0029_0016__THE_R_0029_0018__FOUR_R_0029_0019__DAYS)
                & has_attrib48(R_0029_0016__THE_R_0029_0018__FOUR_R_0029_0019__DAYS,R_0029_0017__PAST)
                & has_r_0029_0013__on_clr39(R_0029_0010__THAT_R_0029_0011___APOS_S_R_0029_0012__BEEN,R_0029_0014__PARADE)
                & has_arg0(R_0029_0010__THAT_R_0029_0011___APOS_S_R_0029_0012__BEEN,R_0029_0008__THE_R_0029_0009__EXPERTISE) )
             => ? [R_0029_0002__HAS] :
                  ( r_0029_0002__has(R_0029_0002__HAS)
                  & has_arg0(R_0029_0002__HAS,Z_000_29_A_TED_TALK_11_2)
                  & has_r_0029_0006__despite_nim19(R_0029_0002__HAS,R_0029_0008__THE_R_0029_0009__EXPERTISE)
                  & has_arg1(R_0029_0002__HAS,R_0029_0003__A_R_0029_0004__CLUE) ) ) ) ) ).

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