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.

( (IP-MAT (NP-SBJ (Q;_nphd_ Nobody;{nobody}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (N clue;{clue})
                  (PRN *ICH*-158))
          (PUNC ,)
          (PP-NIM (P-ROLE despite;{despite})
                  (NP (Q;_nphd_ all;{all})
                      (NLYR (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 ,)
          (PRN-EPD-158 (NP (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))

arc(r_0029_0001__Nobody__quant,r_0029_0007__all__quant,scope).
arc(r_0029_0001__Nobody__quant,z_0029_5003,restriction).
arc(r_0029_0002__has,r_0029_0003__a_r_0029_0004__clue,arg1).
arc(r_0029_0002__has,z_0029_5003,arg0).
arc(r_0029_0002__has,z_0029_5025,r_0029_0006__despite__nim).
arc(r_0029_0007__all__quant,r_0029_0002__has,scope).
arc(r_0029_0007__all__quant,z_0029_5025,restriction).
arc(r_0029_0011___apos_s,r_0029_0012__been_r_0029_0013__on,scope).
arc(r_0029_0012__been_r_0029_0013__on,r_0029_0008__the_r_0029_0009__expertise,inv_arg0).
arc(r_0029_0012__been_r_0029_0013__on,r_0029_0014__parade,arg1).
arc(r_0029_0012__been_r_0029_0013__on,r_0029_0016__the_r_0029_0018__four_r_0029_0019__days,r_0029_0015__for__nim).
arc(r_0029_0016__the_r_0029_0018__four_r_0029_0019__days,r_0029_0017__past,attrib).
arc(r_0029_0024__will,r_0029_0025__look_r_0029_0026__like,scope).
arc(r_0029_0025__look_r_0029_0026__like,r_0029_0021__what,arg1).
arc(r_0029_0025__look_r_0029_0026__like,r_0029_0022__the_r_0029_0023__world,arg0).
arc(r_0029_0025__look_r_0029_0026__like,r_0029_0031__time,r_0029_0027__in__nim).
arc(r_0029_0031__time,r_0029_0028__five_r_0029_0029__years,gen).
arc(z_0029_5012,r_0029_0003__a_r_0029_0004__clue,arg0).
arc(z_0029_5012,r_0029_0021__what,prd).
arc(z_0029_5025,r_0029_0008__the_r_0029_0009__expertise,nim).

fof(formula,axiom,
    ? [R_0029_0021__WHAT,R_0029_0022__THE_R_0029_0023__WORLD,R_0029_0028__FIVE_R_0029_0029__YEARS,R_0029_0031__TIME,R_0029_0024__WILL_R_0029_0025__LOOK_R_0029_0026__LIKE,R_0029_0003__A_R_0029_0004__CLUE,Z_0029_5012] :
      ( r_0029_0003__a_r_0029_0004__clue(R_0029_0003__A_R_0029_0004__CLUE)
      & r_0029_0021__what(R_0029_0021__WHAT)
      & 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_0028__FIVE_R_0029_0029__YEARS)
      & z_0029_5012(Z_0029_5012)
      & has_prd(Z_0029_5012,R_0029_0021__WHAT)
      & has_arg0(Z_0029_5012,R_0029_0003__A_R_0029_0004__CLUE)
      & r_0029_0024__will_r_0029_0025__look_r_0029_0026__like(R_0029_0024__WILL_R_0029_0025__LOOK_R_0029_0026__LIKE)
      & has_r_0029_0027__in__nim(R_0029_0024__WILL_R_0029_0025__LOOK_R_0029_0026__LIKE,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)
      & has_arg0(R_0029_0024__WILL_R_0029_0025__LOOK_R_0029_0026__LIKE,R_0029_0022__THE_R_0029_0023__WORLD)
      & has_arg1(R_0029_0024__WILL_R_0029_0025__LOOK_R_0029_0026__LIKE,R_0029_0021__WHAT)
      & ! [Z_0029_5003] :
          ( z_0029_5003(Z_0029_5003)
         => ! [Z_0029_5025,R_0029_0014__PARADE,R_0029_0017__PAST,R_0029_0016__THE_R_0029_0018__FOUR_R_0029_0019__DAYS,R_0029_0011___APOS_S_R_0029_0012__BEEN_R_0029_0013__ON,R_0029_0008__THE_R_0029_0009__EXPERTISE] :
              ( ( r_0029_0014__parade(R_0029_0014__PARADE)
                & r_0029_0017__past(R_0029_0017__PAST)
                & z_0029_5025(Z_0029_5025)
                & has_nim(Z_0029_5025,R_0029_0008__THE_R_0029_0009__EXPERTISE)
                & r_0029_0008__the_r_0029_0009__expertise(R_0029_0008__THE_R_0029_0009__EXPERTISE)
                & has_inv_arg0(R_0029_0008__THE_R_0029_0009__EXPERTISE,R_0029_0011___APOS_S_R_0029_0012__BEEN_R_0029_0013__ON)
                & r_0029_0011___apos_s_r_0029_0012__been_r_0029_0013__on(R_0029_0011___APOS_S_R_0029_0012__BEEN_R_0029_0013__ON)
                & has_r_0029_0015__for__nim(R_0029_0011___APOS_S_R_0029_0012__BEEN_R_0029_0013__ON,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_attrib(R_0029_0016__THE_R_0029_0018__FOUR_R_0029_0019__DAYS,R_0029_0017__PAST)
                & has_arg1(R_0029_0011___APOS_S_R_0029_0012__BEEN_R_0029_0013__ON,R_0029_0014__PARADE) )
             => ? [R_0029_0002__HAS] :
                  ( r_0029_0002__has(R_0029_0002__HAS)
                  & has_r_0029_0006__despite__nim(R_0029_0002__HAS,Z_0029_5025)
                  & has_arg0(R_0029_0002__HAS,Z_0029_5003)
                  & has_arg1(R_0029_0002__HAS,R_0029_0003__A_R_0029_0004__CLUE) ) ) ) ) ).