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_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] 
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_4 We n188_a_ted_talk_11_6 think n188_a_ted_talk_11_9 about n188_a_ted_talk_11_12 the n188_a_ted_talk_11_14 world n188_a_ted_talk_11_17 in n188_a_ted_talk_11_20 all n188_a_ted_talk_11_22 the n188_a_ted_talk_11_24 ways n188_a_ted_talk_11_28 that n188_a_ted_talk_11_31 we n188_a_ted_talk_11_33 experience n188_a_ted_talk_11_36 it n188_a_ted_talk_11_38 . n188_a_ted_talk_11_1 IP-MAT n188_a_ted_talk_11_2 NP-SBJ n188_a_ted_talk_11_1->n188_a_ted_talk_11_2 n188_a_ted_talk_11_5 VBP;_Ipr_ n188_a_ted_talk_11_1->n188_a_ted_talk_11_5 n188_a_ted_talk_11_7 PP-CLR n188_a_ted_talk_11_1->n188_a_ted_talk_11_7 n188_a_ted_talk_11_15 PP-NIM n188_a_ted_talk_11_1->n188_a_ted_talk_11_15 n188_a_ted_talk_11_37 PUNC n188_a_ted_talk_11_1->n188_a_ted_talk_11_37 n188_a_ted_talk_11_3 PRO n188_a_ted_talk_11_2->n188_a_ted_talk_11_3 n188_a_ted_talk_11_3->n188_a_ted_talk_11_4 n188_a_ted_talk_11_5->n188_a_ted_talk_11_6 n188_a_ted_talk_11_8 P-ROLE n188_a_ted_talk_11_7->n188_a_ted_talk_11_8 n188_a_ted_talk_11_10 NP n188_a_ted_talk_11_7->n188_a_ted_talk_11_10 n188_a_ted_talk_11_8->n188_a_ted_talk_11_9 n188_a_ted_talk_11_11 D n188_a_ted_talk_11_10->n188_a_ted_talk_11_11 n188_a_ted_talk_11_13 N n188_a_ted_talk_11_10->n188_a_ted_talk_11_13 n188_a_ted_talk_11_11->n188_a_ted_talk_11_12 n188_a_ted_talk_11_13->n188_a_ted_talk_11_14 n188_a_ted_talk_11_16 P-ROLE n188_a_ted_talk_11_15->n188_a_ted_talk_11_16 n188_a_ted_talk_11_18 NP n188_a_ted_talk_11_15->n188_a_ted_talk_11_18 n188_a_ted_talk_11_16->n188_a_ted_talk_11_17 n188_a_ted_talk_11_19 Q;_nphd_ n188_a_ted_talk_11_18->n188_a_ted_talk_11_19 n188_a_ted_talk_11_21 D n188_a_ted_talk_11_18->n188_a_ted_talk_11_21 n188_a_ted_talk_11_23 NS n188_a_ted_talk_11_18->n188_a_ted_talk_11_23 n188_a_ted_talk_11_25 CP-THT n188_a_ted_talk_11_18->n188_a_ted_talk_11_25 n188_a_ted_talk_11_19->n188_a_ted_talk_11_20 n188_a_ted_talk_11_21->n188_a_ted_talk_11_22 n188_a_ted_talk_11_23->n188_a_ted_talk_11_24 n188_a_ted_talk_11_26 IP-SUB n188_a_ted_talk_11_25->n188_a_ted_talk_11_26 n188_a_ted_talk_11_27 C n188_a_ted_talk_11_26->n188_a_ted_talk_11_27 n188_a_ted_talk_11_29 NP-SBJ n188_a_ted_talk_11_26->n188_a_ted_talk_11_29 n188_a_ted_talk_11_32 VBP;_Tn_ n188_a_ted_talk_11_26->n188_a_ted_talk_11_32 n188_a_ted_talk_11_34 NP-OB1 n188_a_ted_talk_11_26->n188_a_ted_talk_11_34 n188_a_ted_talk_11_27->n188_a_ted_talk_11_28 n188_a_ted_talk_11_30 PRO n188_a_ted_talk_11_29->n188_a_ted_talk_11_30 n188_a_ted_talk_11_30->n188_a_ted_talk_11_31 n188_a_ted_talk_11_32->n188_a_ted_talk_11_33 n188_a_ted_talk_11_35 PRO n188_a_ted_talk_11_34->n188_a_ted_talk_11_35 n188_a_ted_talk_11_35->n188_a_ted_talk_11_36 n188_a_ted_talk_11_37->n188_a_ted_talk_11_38 
( (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))