190_a_ted_talk_11
We think in abstract terms, we think in movement.
arc(r_0190_0002__think, r_0190_0001__We, arg0).
arc(r_0190_0002__think, r_0190_0005__terms, r_0190_0003__in_nim12).
arc(r_0190_0005__terms, r_0190_0004__abstract, attrib13).
arc(r_0190_0008__think, r_0190_0001__We, arg0).
arc(r_0190_0008__think, r_0190_0010__movement, r_0190_0009__in_nim30).
arc(z_000_190_a_ted_talk_11_2, r_0190_0002__think, conj1).
arc(z_000_190_a_ted_talk_11_2, r_0190_0008__think, conj2).
fof(formula,axiom,
? [Z_190_A_TED_TALK_11_2,R_190_2_THINK,R_190_5_TERMS,R_190_4_ABSTRACT,R_190_8_THINK,R_190_1_WE,R_190_10_MOVEMENT] :
( abstract(R_190_4_ABSTRACT)
& we(R_190_1_WE)
& movement(R_190_10_MOVEMENT)
& z_190_a_ted_talk_11_2(Z_190_A_TED_TALK_11_2)
& conj1(Z_190_A_TED_TALK_11_2,R_190_2_THINK)
& think(R_190_2_THINK,R_190_1_WE)
& in_nim12(R_190_2_THINK,R_190_5_TERMS)
& terms(R_190_5_TERMS)
& attrib13(R_190_5_TERMS,R_190_4_ABSTRACT)
& conj2(Z_190_A_TED_TALK_11_2,R_190_8_THINK)
& think(R_190_8_THINK,R_190_1_WE)
& in_nim30(R_190_8_THINK,R_190_10_MOVEMENT) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO We;{we}))
(VBP;_I_ think;{think})
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADJ abstract;{abstract}))
(NS terms;{term}))))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (PRO we;{we}))
(VBP;_I_ think;{think})
(PP-NIM (P-ROLE in;{in})
(NP (N movement;{movement}))))))
(PUNC .))
(ID 190_a_ted_talk_11))