arc(r_0330_0002__came, r_0330_0001__Nasha, arg0).
arc(r_0330_0002__came, r_0330_0004__him, r_0330_0003__close_to_clr10).
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_0011__him, r_0330_0010__at_clr32).
arc(z_000_330_a_dick_1952_15, r_0330_0002__came, scope).
arc(z_000_330_a_dick_1952_15, z_000_330_a_dick_1952_17, restriction).
arc(z_000_330_a_dick_1952_17, r_0330_0006__frowning, conj1).
arc(z_000_330_a_dick_1952_17, 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_0006__FROWNING,R_0330_0011__HIM,R_0330_0008__LOOKING_R_0330_0009__UP,Z_000_330_A_DICK_1952_17,Z_000_330_A_DICK_1952_15] :
      ( r_0330_0001__Nasha(R_0330_0001__NASHA)
      & r_0330_0004__him(R_0330_0004__HIM)
      & r_0330_0011__him(R_0330_0011__HIM)
      & z_000_330_a_dick_1952_15(Z_000_330_A_DICK_1952_15)
      & has_conj1(Z_000_330_A_DICK_1952_15,Z_000_330_A_DICK_1952_17)
      & z_000_330_a_dick_1952_17(Z_000_330_A_DICK_1952_17)
      & has_conj2(Z_000_330_A_DICK_1952_17,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_clr32(R_0330_0008__LOOKING_R_0330_0009__UP,R_0330_0011__HIM)
      & has_arg0(R_0330_0008__LOOKING_R_0330_0009__UP,R_0330_0001__NASHA)
      & has_conj1(Z_000_330_A_DICK_1952_17,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_000_330_A_DICK_1952_15,R_0330_0002__CAME)
      & r_0330_0002__came(R_0330_0002__CAME)
      & has_r_0330_0003__close_to_clr10(R_0330_0002__CAME,R_0330_0004__HIM)
      & has_arg0(R_0330_0002__CAME,R_0330_0001__NASHA) ) ).

( (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))