189_a_ted_talk_11
We think in abstract terms, we think in 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 189_a_ted_talk_11))
arc(r_0189_0002__think,r_0189_0001__We,arg0).
arc(r_0189_0002__think,r_0189_0005__terms,r_0189_0003__in__nim).
arc(r_0189_0005__terms,r_0189_0004__abstract,attrib).
arc(r_0189_0008__think,r_0189_0001__We,arg0).
arc(r_0189_0008__think,r_0189_0010__movement,r_0189_0009__in__nim).
arc(z_0189_5001,r_0189_0002__think,conj1).
arc(z_0189_5001,r_0189_0008__think,conj2).
fof(formula,axiom,
? [R_0189_0001__WE,R_0189_0004__ABSTRACT,R_0189_0005__TERMS,R_0189_0002__THINK,R_0189_0010__MOVEMENT,R_0189_0008__THINK,Z_0189_5001] :
( r_0189_0001__We(R_0189_0001__WE)
& r_0189_0004__abstract(R_0189_0004__ABSTRACT)
& r_0189_0010__movement(R_0189_0010__MOVEMENT)
& z_0189_5001(Z_0189_5001)
& has_conj2(Z_0189_5001,R_0189_0008__THINK)
& r_0189_0008__think(R_0189_0008__THINK)
& has_r_0189_0009__in__nim(R_0189_0008__THINK,R_0189_0010__MOVEMENT)
& has_arg0(R_0189_0008__THINK,R_0189_0001__WE)
& has_conj1(Z_0189_5001,R_0189_0002__THINK)
& r_0189_0002__think(R_0189_0002__THINK)
& has_r_0189_0003__in__nim(R_0189_0002__THINK,R_0189_0005__TERMS)
& r_0189_0005__terms(R_0189_0005__TERMS)
& has_attrib(R_0189_0005__TERMS,R_0189_0004__ABSTRACT)
& has_arg0(R_0189_0002__THINK,R_0189_0001__WE) ) ).