( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
          (VBD;_Tn.pr_ pushed;{push[from]})
          (NP-OB1 (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
                  (ADJP (ADJ dark;{dark}))
                  (N hair;{hair}))
          (PP-CLR (P-ROLE from;{from})
                  (NP (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
                      (N face;{face})))
          (PUNC .))
  (ID 59_a_dick_1952))

arc(r_0059_0002__pushed_r_0059_0006__from,r_0059_0001__She,arg0).
arc(r_0059_0002__pushed_r_0059_0006__from,r_0059_0005__hair,arg1).
arc(r_0059_0002__pushed_r_0059_0006__from,r_0059_0008__face,arg2).
arc(r_0059_0005__hair,r_0059_0001__She,gen).
arc(r_0059_0005__hair,r_0059_0004__dark,attrib).
arc(r_0059_0008__face,r_0059_0001__She,gen).

fof(formula,axiom,
    ? [R_0059_0001__SHE,R_0059_0004__DARK,R_0059_0005__HAIR,R_0059_0008__FACE,R_0059_0002__PUSHED_R_0059_0006__FROM] :
      ( r_0059_0001__She(R_0059_0001__SHE)
      & r_0059_0004__dark(R_0059_0004__DARK)
      & r_0059_0002__pushed_r_0059_0006__from(R_0059_0002__PUSHED_R_0059_0006__FROM)
      & has_arg2(R_0059_0002__PUSHED_R_0059_0006__FROM,R_0059_0008__FACE)
      & r_0059_0008__face(R_0059_0008__FACE)
      & has_gen(R_0059_0008__FACE,R_0059_0001__SHE)
      & has_arg1(R_0059_0002__PUSHED_R_0059_0006__FROM,R_0059_0005__HAIR)
      & r_0059_0005__hair(R_0059_0005__HAIR)
      & has_attrib(R_0059_0005__HAIR,R_0059_0004__DARK)
      & has_gen(R_0059_0005__HAIR,R_0059_0001__SHE)
      & has_arg0(R_0059_0002__PUSHED_R_0059_0006__FROM,R_0059_0001__SHE) ) ).