151_a_ted_talk_11
They live up there, and slightly to one side.
( (IP-MAT (NP-SBJ;{PROFESSORS} (PRO They;{they}))
(VBP;_Ipr_ live;{live[up]})
(PP-CLR (PP-CLR (P-ROLE up;{up})
(ADVP (ADV there;{there})))
(PUNC ,)
(CONJP (CONJ and;{and})
(PP-CLR (ADVP-NIM (ADV slightly;{slightly}))
(P-ROLE to;{to})
(NP (NUM one;{one})
(N side;{side})))))
(PUNC .))
(ID 151_a_ted_talk_11))
arc(r_0151_0002__live,r_0151_0001__They,arg0).
arc(r_0151_0002__live,r_0151_0006__and,clr).
arc(r_0151_0006__and,r_0151_0004__there,r_0151_0003__up__clr).
arc(r_0151_0006__and,r_0151_0009__one_r_0151_0010__side,r_0151_0007__slightly_r_0151_0008__to__clr).
fof(formula,axiom,
? [R_0151_0001__THEY,R_0151_0004__THERE,R_0151_0009__ONE_R_0151_0010__SIDE,R_0151_0006__AND,R_0151_0002__LIVE] :
( r_0151_0001__They(R_0151_0001__THEY)
& r_0151_0004__there(R_0151_0004__THERE)
& r_0151_0009__one_r_0151_0010__side(R_0151_0009__ONE_R_0151_0010__SIDE)
& r_0151_0002__live(R_0151_0002__LIVE)
& has_clr(R_0151_0002__LIVE,R_0151_0006__AND)
& r_0151_0006__and(R_0151_0006__AND)
& has_r_0151_0007__slightly_r_0151_0008__to__clr(R_0151_0006__AND,R_0151_0009__ONE_R_0151_0010__SIDE)
& has_r_0151_0003__up__clr(R_0151_0006__AND,R_0151_0004__THERE)
& has_arg0(R_0151_0002__LIVE,R_0151_0001__THEY) ) ).