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,
? [R_0190_0001__WE,R_0190_0004__ABSTRACT,R_0190_0005__TERMS,R_0190_0002__THINK,R_0190_0010__MOVEMENT,R_0190_0008__THINK,Z_000_190_A_TED_TALK_11_2] :
( r_0190_0001__We(R_0190_0001__WE)
& r_0190_0004__abstract(R_0190_0004__ABSTRACT)
& r_0190_0010__movement(R_0190_0010__MOVEMENT)
& z_000_190_a_ted_talk_11_2(Z_000_190_A_TED_TALK_11_2)
& has_conj2(Z_000_190_A_TED_TALK_11_2,R_0190_0008__THINK)
& r_0190_0008__think(R_0190_0008__THINK)
& has_r_0190_0009__in_nim30(R_0190_0008__THINK,R_0190_0010__MOVEMENT)
& has_arg0(R_0190_0008__THINK,R_0190_0001__WE)
& has_conj1(Z_000_190_A_TED_TALK_11_2,R_0190_0002__THINK)
& r_0190_0002__think(R_0190_0002__THINK)
& has_r_0190_0003__in_nim12(R_0190_0002__THINK,R_0190_0005__TERMS)
& r_0190_0005__terms(R_0190_0005__TERMS)
& has_attrib13(R_0190_0005__TERMS,R_0190_0004__ABSTRACT)
& has_arg0(R_0190_0002__THINK,R_0190_0001__WE) ) ).
( (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))