189_a_ted_talk_11
We think visually, we think in sound, we think kinesthetically.
arc(r_0189_0002__think, r_0189_0001__We, arg0).
arc(r_0189_0002__think, r_0189_0003__visually, clr9).
arc(r_0189_0006__think, r_0189_0001__We, arg0).
arc(r_0189_0006__think, r_0189_0008__sound, r_0189_0007__in_nim24).
arc(r_0189_0011__think, r_0189_0001__We, arg0).
arc(r_0189_0011__think, r_0189_0012__kinesthetically, nim36).
arc(z_000_189_a_ted_talk_11_2, r_0189_0002__think, conj1).
arc(z_000_189_a_ted_talk_11_2, r_0189_0006__think, conj2).
arc(z_000_189_a_ted_talk_11_2, r_0189_0011__think, conj3).
fof(formula,axiom,
? [R_0189_0001__WE,R_0189_0003__VISUALLY,R_0189_0002__THINK,R_0189_0008__SOUND,R_0189_0006__THINK,R_0189_0012__KINESTHETICALLY,R_0189_0011__THINK,Z_000_189_A_TED_TALK_11_2] :
( r_0189_0001__We(R_0189_0001__WE)
& r_0189_0003__visually(R_0189_0003__VISUALLY)
& r_0189_0008__sound(R_0189_0008__SOUND)
& r_0189_0012__kinesthetically(R_0189_0012__KINESTHETICALLY)
& z_000_189_a_ted_talk_11_2(Z_000_189_A_TED_TALK_11_2)
& has_conj3(Z_000_189_A_TED_TALK_11_2,R_0189_0011__THINK)
& r_0189_0011__think(R_0189_0011__THINK)
& has_nim36(R_0189_0011__THINK,R_0189_0012__KINESTHETICALLY)
& has_arg0(R_0189_0011__THINK,R_0189_0001__WE)
& has_conj2(Z_000_189_A_TED_TALK_11_2,R_0189_0006__THINK)
& r_0189_0006__think(R_0189_0006__THINK)
& has_r_0189_0007__in_nim24(R_0189_0006__THINK,R_0189_0008__SOUND)
& has_arg0(R_0189_0006__THINK,R_0189_0001__WE)
& has_conj1(Z_000_189_A_TED_TALK_11_2,R_0189_0002__THINK)
& r_0189_0002__think(R_0189_0002__THINK)
& has_clr9(R_0189_0002__THINK,R_0189_0003__VISUALLY)
& has_arg0(R_0189_0002__THINK,R_0189_0001__WE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO We;{we}))
(VBP;_I_ think;{think})
(ADVP-CLR (ADV visually;{visually})))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (PRO we;{we}))
(VBP;_I_ think;{think})
(PP-NIM (P-ROLE in;{in})
(NP (N sound;{sound})))))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (PRO we;{we}))
(VBP;_I_ think;{think})
(ADVP-NIM (ADV kinesthetically;{kinesthetically})))))
(PUNC .))
(ID 189_a_ted_talk_11))