( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Ipr_ came;{come[close_to]})
          (PP-CLR (P-ROLE close_to;{close_to})
                  (NP;{DORLE} (PRO him;{he})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_I_ frowning;{frown}))
                                  (PUNC ,)
                                  (CONJP (ILYR (VAG;_phr_Vp.pr_ looking;{look[up,at]})
                                               (RP up;{up})
                                               (PP-CLR (P-ROLE at;{at})
                                                       (NP;{DORLE} (PRO him;{he}))))))))
          (PUNC .))
  (ID 330_a_dick_1952))

arc(r_0330_0002__came_r_0330_0003__close_to,r_0330_0001__Nasha,arg0).
arc(r_0330_0002__came_r_0330_0003__close_to,r_0330_0004__him,arg1).
arc(r_0330_0006__frowning,r_0330_0001__Nasha,arg0).
arc(r_0330_0008__looking_r_0330_0009__up,r_0330_0001__Nasha,arg0).
arc(r_0330_0008__looking_r_0330_0009__up,r_0330_0004__him,r_0330_0010__at__clr).
arc(z_0330_5001,r_0330_0002__came_r_0330_0003__close_to,scope).
arc(z_0330_5001,z_0330_5003,restriction).
arc(z_0330_5003,r_0330_0006__frowning,conj1).
arc(z_0330_5003,r_0330_0008__looking_r_0330_0009__up,conj2).

fof(formula,axiom,
    ? [R_0330_0001__NASHA,R_0330_0004__HIM,R_0330_0002__CAME_R_0330_0003__CLOSE_TO,R_0330_0006__FROWNING,R_0330_0008__LOOKING_R_0330_0009__UP,Z_0330_5003,Z_0330_5001] :
      ( r_0330_0001__Nasha(R_0330_0001__NASHA)
      & r_0330_0004__him(R_0330_0004__HIM)
      & z_0330_5001(Z_0330_5001)
      & has_conj1(Z_0330_5001,Z_0330_5003)
      & z_0330_5003(Z_0330_5003)
      & has_conj2(Z_0330_5003,R_0330_0008__LOOKING_R_0330_0009__UP)
      & r_0330_0008__looking_r_0330_0009__up(R_0330_0008__LOOKING_R_0330_0009__UP)
      & has_r_0330_0010__at__clr(R_0330_0008__LOOKING_R_0330_0009__UP,R_0330_0004__HIM)
      & has_arg0(R_0330_0008__LOOKING_R_0330_0009__UP,R_0330_0001__NASHA)
      & has_conj1(Z_0330_5003,R_0330_0006__FROWNING)
      & r_0330_0006__frowning(R_0330_0006__FROWNING)
      & has_arg0(R_0330_0006__FROWNING,R_0330_0001__NASHA)
      & has_conj2(Z_0330_5001,R_0330_0002__CAME_R_0330_0003__CLOSE_TO)
      & r_0330_0002__came_r_0330_0003__close_to(R_0330_0002__CAME_R_0330_0003__CLOSE_TO)
      & has_arg1(R_0330_0002__CAME_R_0330_0003__CLOSE_TO,R_0330_0004__HIM)
      & has_arg0(R_0330_0002__CAME_R_0330_0003__CLOSE_TO,R_0330_0001__NASHA) ) ).