TSPC 187_a_ted_talk

187_a_ted_talk_11
We think about the world in all the ways that we experience it.

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBP;_Ipr_ think;{think[about]})
          (PP-CLR (P-ROLE about;{about})
                  (NP (D the;{the})
                      (N world;{world})))
          (PP-NIM (P-ROLE in;{in})
                  (NP (Q;_nphd_ all;{all})
                      (NLYR (D the;{the})
                            (NS ways;{way})
                            (CP-THT (IP-SUB (C that;{that})
                                            (NP-SBJ (PRO we;{we}))
                                            (VBP;_Tn_ experience;{experience})
                                            (NP-OB1 (PRO it;{it})))))))
          (PUNC .))
  (ID 187_a_ted_talk_11))

arc(r_0187_0002__think_r_0187_0003__about,r_0187_0001__We,arg0).
arc(r_0187_0002__think_r_0187_0003__about,r_0187_0004__the_r_0187_0005__world,arg1).
arc(r_0187_0002__think_r_0187_0003__about,z_0187_5008,r_0187_0006__in__nim).
arc(r_0187_0007__all__quant,r_0187_0002__think_r_0187_0003__about,scope).
arc(r_0187_0007__all__quant,z_0187_5008,restriction).
arc(r_0187_0008__the_r_0187_0009__ways,r_0187_0012__experience,emb).
arc(r_0187_0012__experience,r_0187_0001__We,arg0).
arc(r_0187_0012__experience,r_0187_0013__it,arg1).
arc(z_0187_5008,r_0187_0008__the_r_0187_0009__ways,nim).

fof(formula,axiom,
    ! [Z_0187_5008,R_0187_0001__WE,R_0187_0013__IT,R_0187_0012__EXPERIENCE,R_0187_0008__THE_R_0187_0009__WAYS] :
      ( ( r_0187_0001__We(R_0187_0001__WE)
        & r_0187_0013__it(R_0187_0013__IT)
        & z_0187_5008(Z_0187_5008)
        & has_nim(Z_0187_5008,R_0187_0008__THE_R_0187_0009__WAYS)
        & r_0187_0008__the_r_0187_0009__ways(R_0187_0008__THE_R_0187_0009__WAYS)
        & has_emb(R_0187_0008__THE_R_0187_0009__WAYS,R_0187_0012__EXPERIENCE)
        & r_0187_0012__experience(R_0187_0012__EXPERIENCE)
        & has_arg1(R_0187_0012__EXPERIENCE,R_0187_0013__IT)
        & has_arg0(R_0187_0012__EXPERIENCE,R_0187_0001__WE) )
     => ? [R_0187_0004__THE_R_0187_0005__WORLD,R_0187_0002__THINK_R_0187_0003__ABOUT] :
          ( r_0187_0004__the_r_0187_0005__world(R_0187_0004__THE_R_0187_0005__WORLD)
          & r_0187_0002__think_r_0187_0003__about(R_0187_0002__THINK_R_0187_0003__ABOUT)
          & has_r_0187_0006__in__nim(R_0187_0002__THINK_R_0187_0003__ABOUT,Z_0187_5008)
          & has_arg1(R_0187_0002__THINK_R_0187_0003__ABOUT,R_0187_0004__THE_R_0187_0005__WORLD)
          & has_arg0(R_0187_0002__THINK_R_0187_0003__ABOUT,R_0187_0001__WE) ) ) ).