539_a_dick_1952
Her eyes were flashing.
arc(r_0539_0002__eyes, r_0539_0001__Her, gen).
arc(r_0539_0003__were, r_0539_0004__flashing, scope).
arc(r_0539_0004__flashing, r_0539_0002__eyes, arg0).
fof(formula,axiom,
? [R_539_3_WERE_FLASHING,R_539_2_EYES,R_539_1_HER] :
( her(R_539_1_HER)
& were_flashing(R_539_3_WERE_FLASHING,R_539_2_EYES)
& eyes(R_539_2_EYES)
& gen(R_539_2_EYES,R_539_1_HER) ) ).
( (IP-MAT (NP-SBJ (NP-GEN;{NASHA} (PRO;_genm_ Her;{her}))
(NS eyes;{eye}))
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (VAG;_I_ flashing;{flash}))
(PUNC .))
(ID 539_a_dick_1952))