( (IP-IMP (PULQ <ldquo>)
          (VB;_Ipr_ Look;{look[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (D;_nphd_ this;{this})))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 464_a_dick_1952))

arc(r_0464_0002__Look_r_0464_0003__at,r_0464_0004__this,arg1).
arc(r_0464_0002__Look_r_0464_0003__at,z_0464_5002,arg0).

fof(formula,axiom,
    ? [R_0464_0004__THIS,Z_0464_5002,R_0464_0002__LOOK_R_0464_0003__AT] :
      ( r_0464_0004__this(R_0464_0004__THIS)
      & z_0464_5002(Z_0464_5002)
      & r_0464_0002__Look_r_0464_0003__at(R_0464_0002__LOOK_R_0464_0003__AT)
      & has_arg0(R_0464_0002__LOOK_R_0464_0003__AT,Z_0464_5002)
      & has_arg1(R_0464_0002__LOOK_R_0464_0003__AT,R_0464_0004__THIS) ) ).