53_a_dick_1952
They stared.
arc(r_0053_0002__stared, r_0053_0001__They, arg0).
fof(formula,axiom,
? [R_53_2_STARED,R_53_1_THEY] :
( they(R_53_1_THEY)
& stared(R_53_2_STARED,R_53_1_THEY) ) ).
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO They;{they}))
(VBD;_I_ stared;{stare})
(PUNC .))
(ID 53_a_dick_1952))