188_a_ted_talk_11
We think visually, we think in sound, we think kinesthetically.
( (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 188_a_ted_talk_11))
arc(r_0188_0002__think_r_0188_0003__visually,r_0188_0001__We,arg0).
arc(r_0188_0006__think,r_0188_0001__We,arg0).
arc(r_0188_0006__think,r_0188_0008__sound,r_0188_0007__in__nim).
arc(r_0188_0011__think,r_0188_0001__We,arg0).
arc(r_0188_0011__think,r_0188_0012__kinesthetically,nim).
arc(z_0188_5001,r_0188_0002__think_r_0188_0003__visually,conj1).
arc(z_0188_5001,r_0188_0006__think,conj2).
arc(z_0188_5001,r_0188_0011__think,conj3).
fof(formula,axiom,
? [R_0188_0001__WE,R_0188_0002__THINK_R_0188_0003__VISUALLY,R_0188_0008__SOUND,R_0188_0006__THINK,R_0188_0012__KINESTHETICALLY,R_0188_0011__THINK,Z_0188_5001] :
( r_0188_0001__We(R_0188_0001__WE)
& r_0188_0008__sound(R_0188_0008__SOUND)
& r_0188_0012__kinesthetically(R_0188_0012__KINESTHETICALLY)
& z_0188_5001(Z_0188_5001)
& has_conj3(Z_0188_5001,R_0188_0011__THINK)
& r_0188_0011__think(R_0188_0011__THINK)
& has_nim(R_0188_0011__THINK,R_0188_0012__KINESTHETICALLY)
& has_arg0(R_0188_0011__THINK,R_0188_0001__WE)
& has_conj2(Z_0188_5001,R_0188_0006__THINK)
& r_0188_0006__think(R_0188_0006__THINK)
& has_r_0188_0007__in__nim(R_0188_0006__THINK,R_0188_0008__SOUND)
& has_arg0(R_0188_0006__THINK,R_0188_0001__WE)
& has_conj1(Z_0188_5001,R_0188_0002__THINK_R_0188_0003__VISUALLY)
& r_0188_0002__think_r_0188_0003__visually(R_0188_0002__THINK_R_0188_0003__VISUALLY)
& has_arg0(R_0188_0002__THINK_R_0188_0003__VISUALLY,R_0188_0001__WE) ) ).