Context                Previous, Next                Top


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

%3 r_0188_0002__think think r_0188_0001__We We r_0188_0002__think->r_0188_0001__We [arg0] r_0188_0004__the_r_0188_0005__world the world r_0188_0002__think->r_0188_0004__the_r_0188_0005__world about [clr] r_0188_0008__the_r_0188_0009__ways the ways r_0188_0002__think->r_0188_0008__the_r_0188_0009__ways in [nim] r_0188_0010__that_r_0188_0012__experience that experience r_0188_0008__the_r_0188_0009__ways->r_0188_0010__that_r_0188_0012__experience [emb] r_0188_0007__all_quant all [quant] r_0188_0007__all_quant->r_0188_0002__think [scope] r_0188_0007__all_quant->r_0188_0008__the_r_0188_0009__ways [restriction] r_0188_0010__that_r_0188_0012__experience->r_0188_0001__We [arg0] r_0188_0010__that_r_0188_0012__experience->r_0188_0004__the_r_0188_0005__world [arg1] 
arc(r_0188_0002__think, r_0188_0001__We, arg0).
arc(r_0188_0002__think, r_0188_0004__the_r_0188_0005__world, r_0188_0003__about_clr10).
arc(r_0188_0002__think, r_0188_0008__the_r_0188_0009__ways, r_0188_0006__in_nim18).
arc(r_0188_0007__all_quant, r_0188_0002__think, scope).
arc(r_0188_0007__all_quant, r_0188_0008__the_r_0188_0009__ways, restriction).
arc(r_0188_0008__the_r_0188_0009__ways, r_0188_0010__that_r_0188_0012__experience, emb26).
arc(r_0188_0010__that_r_0188_0012__experience, r_0188_0001__We, arg0).
arc(r_0188_0010__that_r_0188_0012__experience, r_0188_0004__the_r_0188_0005__world, arg1).


%3 r_0188_0010__that_r_0188_0012__experience that experience r_0188_0004__the_r_0188_0005__world the world r_0188_0010__that_r_0188_0012__experience->r_0188_0004__the_r_0188_0005__world [arg1] r_0188_0001__We We r_0188_0010__that_r_0188_0012__experience->r_0188_0001__We [arg0] r_0188_0008__the_r_0188_0009__ways the ways r_0188_0008__the_r_0188_0009__ways->r_0188_0010__that_r_0188_0012__experience [emb] r_0188_0007__all_quant all [quant] r_0188_0007__all_quant->r_0188_0008__the_r_0188_0009__ways [restriction] r_0188_0002__think think r_0188_0007__all_quant->r_0188_0002__think [scope] r_0188_0002__think->r_0188_0004__the_r_0188_0005__world about [clr] r_0188_0002__think->r_0188_0001__We [arg0] r_0188_0002__think->r_0188_0008__the_r_0188_0009__ways in [nim] 
fof(formula,axiom,
    ! [R_188_8_THE_WAYS,R_188_10_THAT_EXPERIENCE,R_188_1_WE,R_188_4_THE_WORLD] :
      ( ( we(R_188_1_WE)
        & the_world(R_188_4_THE_WORLD)
        & the_ways(R_188_8_THE_WAYS)
        & emb26(R_188_8_THE_WAYS,R_188_10_THAT_EXPERIENCE)
        & that_experience(R_188_10_THAT_EXPERIENCE,R_188_1_WE,R_188_4_THE_WORLD) )
     => ? [R_188_2_THINK] :
          ( think(R_188_2_THINK,R_188_1_WE)
          & about_clr10(R_188_2_THINK,R_188_4_THE_WORLD)
          & in_nim18(R_188_2_THINK,R_188_8_THE_WAYS) ) ) ).


n188_a_ted_talk_11 n188_a_ted_talk_11__1_1_1_1 We n188_a_ted_talk_11__1_2_1 think n188_a_ted_talk_11__1_3_1_1 about n188_a_ted_talk_11__1_3_2_1_1 the n188_a_ted_talk_11__1_3_2_2_1 world n188_a_ted_talk_11__1_4_1_1 in n188_a_ted_talk_11__1_4_2_1_1 all n188_a_ted_talk_11__1_4_2_2_1 the n188_a_ted_talk_11__1_4_2_3_1 ways n188_a_ted_talk_11__1_4_2_4_1_1_1 that n188_a_ted_talk_11__1_4_2_4_1_2_1_1 we n188_a_ted_talk_11__1_4_2_4_1_3_1 experience n188_a_ted_talk_11__1_4_2_4_1_4_1_1 it n188_a_ted_talk_11__1_5_1 . n188_a_ted_talk_11__1 IP-MAT n188_a_ted_talk_11__1_1 NP-SBJ n188_a_ted_talk_11__1->n188_a_ted_talk_11__1_1 n188_a_ted_talk_11__1_2 VBP;_Ipr_ n188_a_ted_talk_11__1->n188_a_ted_talk_11__1_2 n188_a_ted_talk_11__1_3 PP-CLR n188_a_ted_talk_11__1->n188_a_ted_talk_11__1_3 n188_a_ted_talk_11__1_4 PP-NIM n188_a_ted_talk_11__1->n188_a_ted_talk_11__1_4 n188_a_ted_talk_11__1_5 PUNC n188_a_ted_talk_11__1->n188_a_ted_talk_11__1_5 n188_a_ted_talk_11__1_1_1 PRO n188_a_ted_talk_11__1_1->n188_a_ted_talk_11__1_1_1 n188_a_ted_talk_11__1_1_1->n188_a_ted_talk_11__1_1_1_1 n188_a_ted_talk_11__1_2->n188_a_ted_talk_11__1_2_1 n188_a_ted_talk_11__1_3_1 P-ROLE n188_a_ted_talk_11__1_3->n188_a_ted_talk_11__1_3_1 n188_a_ted_talk_11__1_3_2 NP n188_a_ted_talk_11__1_3->n188_a_ted_talk_11__1_3_2 n188_a_ted_talk_11__1_3_1->n188_a_ted_talk_11__1_3_1_1 n188_a_ted_talk_11__1_3_2_1 D n188_a_ted_talk_11__1_3_2->n188_a_ted_talk_11__1_3_2_1 n188_a_ted_talk_11__1_3_2_2 N n188_a_ted_talk_11__1_3_2->n188_a_ted_talk_11__1_3_2_2 n188_a_ted_talk_11__1_3_2_1->n188_a_ted_talk_11__1_3_2_1_1 n188_a_ted_talk_11__1_3_2_2->n188_a_ted_talk_11__1_3_2_2_1 n188_a_ted_talk_11__1_4_1 P-ROLE n188_a_ted_talk_11__1_4->n188_a_ted_talk_11__1_4_1 n188_a_ted_talk_11__1_4_2 NP n188_a_ted_talk_11__1_4->n188_a_ted_talk_11__1_4_2 n188_a_ted_talk_11__1_4_1->n188_a_ted_talk_11__1_4_1_1 n188_a_ted_talk_11__1_4_2_1 Q;_nphd_ n188_a_ted_talk_11__1_4_2->n188_a_ted_talk_11__1_4_2_1 n188_a_ted_talk_11__1_4_2_2 D n188_a_ted_talk_11__1_4_2->n188_a_ted_talk_11__1_4_2_2 n188_a_ted_talk_11__1_4_2_3 NS n188_a_ted_talk_11__1_4_2->n188_a_ted_talk_11__1_4_2_3 n188_a_ted_talk_11__1_4_2_4 CP-THT n188_a_ted_talk_11__1_4_2->n188_a_ted_talk_11__1_4_2_4 n188_a_ted_talk_11__1_4_2_1->n188_a_ted_talk_11__1_4_2_1_1 n188_a_ted_talk_11__1_4_2_2->n188_a_ted_talk_11__1_4_2_2_1 n188_a_ted_talk_11__1_4_2_3->n188_a_ted_talk_11__1_4_2_3_1 n188_a_ted_talk_11__1_4_2_4_1 IP-SUB n188_a_ted_talk_11__1_4_2_4->n188_a_ted_talk_11__1_4_2_4_1 n188_a_ted_talk_11__1_4_2_4_1_1 C n188_a_ted_talk_11__1_4_2_4_1->n188_a_ted_talk_11__1_4_2_4_1_1 n188_a_ted_talk_11__1_4_2_4_1_2 NP-SBJ n188_a_ted_talk_11__1_4_2_4_1->n188_a_ted_talk_11__1_4_2_4_1_2 n188_a_ted_talk_11__1_4_2_4_1_3 VBP;_Tn_ n188_a_ted_talk_11__1_4_2_4_1->n188_a_ted_talk_11__1_4_2_4_1_3 n188_a_ted_talk_11__1_4_2_4_1_4 NP-OB1 n188_a_ted_talk_11__1_4_2_4_1->n188_a_ted_talk_11__1_4_2_4_1_4 n188_a_ted_talk_11__1_4_2_4_1_1->n188_a_ted_talk_11__1_4_2_4_1_1_1 n188_a_ted_talk_11__1_4_2_4_1_2_1 PRO n188_a_ted_talk_11__1_4_2_4_1_2->n188_a_ted_talk_11__1_4_2_4_1_2_1 n188_a_ted_talk_11__1_4_2_4_1_2_1->n188_a_ted_talk_11__1_4_2_4_1_2_1_1 n188_a_ted_talk_11__1_4_2_4_1_3->n188_a_ted_talk_11__1_4_2_4_1_3_1 n188_a_ted_talk_11__1_4_2_4_1_4_1 PRO n188_a_ted_talk_11__1_4_2_4_1_4->n188_a_ted_talk_11__1_4_2_4_1_4_1 n188_a_ted_talk_11__1_4_2_4_1_4_1->n188_a_ted_talk_11__1_4_2_4_1_4_1_1 n188_a_ted_talk_11__1_5->n188_a_ted_talk_11__1_5_1 
( (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})
                      (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 188_a_ted_talk_11))