155_a_ted_talk_11
Don't they?
arc(r_0155_0001__Do_r_0155_1001____star__, r_0155_0003__they, arg0).
arc(r_0155_0002__n_apos_t, r_0155_0001__Do_r_0155_1001____star__, keep_scope).
fof(formula,axiom,
~ ? [R_155_1_DO__STAR_,R_155_3_THEY] :
( they(R_155_3_THEY)
& do__star_(R_155_1_DO__STAR_,R_155_3_THEY) ) ).
( (CP-QUE-MAT (IP-SUB (DOP Do;{do})
(NEG;_clitic_ n<apos>t;{not})
(NP-SBJ;{PROFESSORS} (PRO they;{they}))
(VB _*_))
(PUNC ?))
(ID 155_a_ted_talk_11))