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_0539_0001__HER,R_0539_0002__EYES,R_0539_0003__WERE_R_0539_0004__FLASHING] :
( r_0539_0001__Her(R_0539_0001__HER)
& r_0539_0003__were_r_0539_0004__flashing(R_0539_0003__WERE_R_0539_0004__FLASHING)
& has_arg0(R_0539_0003__WERE_R_0539_0004__FLASHING,R_0539_0002__EYES)
& r_0539_0002__eyes(R_0539_0002__EYES)
& has_gen(R_0539_0002__EYES,R_0539_0001__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))