arc(r_0172_0002__glanced, r_0172_0001__Nasha, arg0).
arc(r_0172_0002__glanced, r_0172_0004__him, r_0172_0003__at_clr10).

fof(formula,axiom,
    ? [R_0172_0001__NASHA,R_0172_0004__HIM,R_0172_0002__GLANCED] :
      ( r_0172_0001__Nasha(R_0172_0001__NASHA)
      & r_0172_0004__him(R_0172_0004__HIM)
      & r_0172_0002__glanced(R_0172_0002__GLANCED)
      & has_r_0172_0003__at_clr10(R_0172_0002__GLANCED,R_0172_0004__HIM)
      & has_arg0(R_0172_0002__GLANCED,R_0172_0001__NASHA) ) ).

( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Ipr_ glanced;{glance[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP;{DORLE} (PRO him;{he})))
          (PUNC .))
  (ID 172_a_dick_1952))