239_a_ted_talk_11
People who couldn't sit still.
( (FRAG (NP (N People;{people})
(IP-REL (NP-SBJ (RPRO who;{who}))
(MD;_cat_Vi_ could;{can})
(NEG;_clitic_ n<apos>t;{not})
(IP-INF-CAT (VB;__ sit;{sit})
(ADVP-NIM (ADV still;{still})))))
(PUNC .))
(ID 239_a_ted_talk_11))
arc(r_0239_0003__could,r_0239_0005__sit,scope).
arc(r_0239_0004__n_apos_t,r_0239_0003__could,keep_scope).
arc(r_0239_0005__sit,r_0239_0001__People,arg0).
arc(r_0239_0005__sit,r_0239_0006__still,nim).
arc(z_0239_5009,r_0239_0001__People,z_0239_5002).
fof(formula,axiom,
? [R_0239_0001__PEOPLE,Z_0239_5009] :
( r_0239_0001__People(R_0239_0001__PEOPLE)
& z_0239_5009(Z_0239_5009)
& has_z_0239_5002(Z_0239_5009,R_0239_0001__PEOPLE)
& ~ ? [R_0239_0006__STILL,R_0239_0003__COULD_R_0239_0005__SIT] :
( r_0239_0006__still(R_0239_0006__STILL)
& r_0239_0003__could_r_0239_0005__sit(R_0239_0003__COULD_R_0239_0005__SIT)
& has_nim(R_0239_0003__COULD_R_0239_0005__SIT,R_0239_0006__STILL)
& has_arg0(R_0239_0003__COULD_R_0239_0005__SIT,R_0239_0001__PEOPLE) ) ) ).