539_a_dick_1952
Her eyes were flashing.

n539_a_dick_1952 n539_a_dick_1952__1_1_1_1_1 Her n539_a_dick_1952__1_1_2_1 eyes n539_a_dick_1952__1_2_1 were n539_a_dick_1952__1_3_1_1 flashing n539_a_dick_1952__1_4_1 . n539_a_dick_1952__1 IP-MAT n539_a_dick_1952__1_1 NP-SBJ n539_a_dick_1952__1->n539_a_dick_1952__1_1 n539_a_dick_1952__1_2 BED;_cat_Vg_ n539_a_dick_1952__1->n539_a_dick_1952__1_2 n539_a_dick_1952__1_3 IP-PPL-CAT n539_a_dick_1952__1->n539_a_dick_1952__1_3 n539_a_dick_1952__1_4 PUNC n539_a_dick_1952__1->n539_a_dick_1952__1_4 n539_a_dick_1952__1_1_1 NP-GEN n539_a_dick_1952__1_1->n539_a_dick_1952__1_1_1 n539_a_dick_1952__1_1_2 NS n539_a_dick_1952__1_1->n539_a_dick_1952__1_1_2 n539_a_dick_1952__1_1_1_1 PRO;_genm_ n539_a_dick_1952__1_1_1->n539_a_dick_1952__1_1_1_1 n539_a_dick_1952__1_1_1_1->n539_a_dick_1952__1_1_1_1_1 n539_a_dick_1952__1_1_2->n539_a_dick_1952__1_1_2_1 n539_a_dick_1952__1_2->n539_a_dick_1952__1_2_1 n539_a_dick_1952__1_3_1 VAG;_I_ n539_a_dick_1952__1_3->n539_a_dick_1952__1_3_1 n539_a_dick_1952__1_3_1->n539_a_dick_1952__1_3_1_1 n539_a_dick_1952__1_4->n539_a_dick_1952__1_4_1
( (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))



%3 r_0539_0004__flashing flashing r_0539_0002__eyes eyes r_0539_0004__flashing->r_0539_0002__eyes [arg0] r_0539_0001__Her Her r_0539_0002__eyes->r_0539_0001__Her [gen] r_0539_0003__were were r_0539_0003__were->r_0539_0004__flashing [scope]
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).



%3 r_0539_0002__eyes eyes r_0539_0001__Her Her r_0539_0002__eyes->r_0539_0001__Her [gen] r_0539_0003__were_r_0539_0004__flashing were flashing r_0539_0003__were_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) ) ).