152_a_ted_talk_11
They live up there, and slightly to one side.
arc(r_0152_0002__live, r_0152_0001__They, arg0).
arc(r_0152_0002__live, r_0152_0004__there, r_0152_0003__up_clr10).
arc(r_0152_0002__live, r_0152_0009__one_r_0152_0010__side, r_0152_0006__and_r_0152_0007__slightly_r_0152_0008__to_nim22).
fof(formula,axiom,
? [R_0152_0001__THEY,R_0152_0004__THERE,R_0152_0009__ONE_R_0152_0010__SIDE,R_0152_0002__LIVE] :
( r_0152_0001__They(R_0152_0001__THEY)
& r_0152_0004__there(R_0152_0004__THERE)
& r_0152_0009__one_r_0152_0010__side(R_0152_0009__ONE_R_0152_0010__SIDE)
& r_0152_0002__live(R_0152_0002__LIVE)
& has_r_0152_0006__and_r_0152_0007__slightly_r_0152_0008__to_nim22(R_0152_0002__LIVE,R_0152_0009__ONE_R_0152_0010__SIDE)
& has_r_0152_0003__up_clr10(R_0152_0002__LIVE,R_0152_0004__THERE)
& has_arg0(R_0152_0002__LIVE,R_0152_0001__THEY) ) ).
( (IP-MAT (NP-SBJ;{PROFESSORS} (PRO They;{they}))
(VBP;_Ipr_ live;{live[up]})
(PP-CLR (P-ROLE up;{up})
(ADVP (ADV there;{there})))
(PUNC ,)
(PP-NIM (CONJ and;{and})
(ADV slightly;{slightly})
(P-ROLE to;{to})
(NP (NUM one;{one})
(N side;{side})))
(PUNC .))
(ID 152_a_ted_talk_11))