arc(r_0375_0002__was, z_000_375_a_dick_1952_8, scope).
arc(r_0375_0003__walking, r_0375_0001__Tance, arg0).
arc(r_0375_0003__walking, r_0375_0004__slowly, nim12).
arc(r_0375_0003__walking, r_0375_0006__the_r_0375_0007__gun, r_0375_0005__toward_clr18).
arc(r_0375_0009__peering_r_0375_0011__up, r_0375_0001__Tance, arg0).
arc(r_0375_0009__peering_r_0375_0011__up, r_0375_0006__the_r_0375_0007__gun, r_0375_0012__at_nim37).
arc(r_0375_0009__peering_r_0375_0011__up, r_0375_0010__nearsightedly, nim29).
arc(z_000_375_a_dick_1952_8, r_0375_0003__walking, conj1).
arc(z_000_375_a_dick_1952_8, r_0375_0009__peering_r_0375_0011__up, conj2).

fof(formula,axiom,
    ? [R_0375_0001__TANCE,R_0375_0004__SLOWLY,R_0375_0006__THE_R_0375_0007__GUN,R_0375_0003__WALKING,R_0375_0010__NEARSIGHTEDLY,R_0375_0009__PEERING_R_0375_0011__UP,Z_000_375_A_DICK_1952_8,R_0375_0002__WAS] :
      ( r_0375_0001__Tance(R_0375_0001__TANCE)
      & r_0375_0004__slowly(R_0375_0004__SLOWLY)
      & r_0375_0006__the_r_0375_0007__gun(R_0375_0006__THE_R_0375_0007__GUN)
      & r_0375_0010__nearsightedly(R_0375_0010__NEARSIGHTEDLY)
      & r_0375_0002__was(R_0375_0002__WAS)
      & has_keep_scope(R_0375_0002__WAS,Z_000_375_A_DICK_1952_8)
      & z_000_375_a_dick_1952_8(Z_000_375_A_DICK_1952_8)
      & has_conj2(Z_000_375_A_DICK_1952_8,R_0375_0009__PEERING_R_0375_0011__UP)
      & r_0375_0009__peering_r_0375_0011__up(R_0375_0009__PEERING_R_0375_0011__UP)
      & has_nim29(R_0375_0009__PEERING_R_0375_0011__UP,R_0375_0010__NEARSIGHTEDLY)
      & has_r_0375_0012__at_nim37(R_0375_0009__PEERING_R_0375_0011__UP,R_0375_0006__THE_R_0375_0007__GUN)
      & has_arg0(R_0375_0009__PEERING_R_0375_0011__UP,R_0375_0001__TANCE)
      & has_conj1(Z_000_375_A_DICK_1952_8,R_0375_0003__WALKING)
      & r_0375_0003__walking(R_0375_0003__WALKING)
      & has_r_0375_0005__toward_clr18(R_0375_0003__WALKING,R_0375_0006__THE_R_0375_0007__GUN)
      & has_nim12(R_0375_0003__WALKING,R_0375_0004__SLOWLY)
      & has_arg0(R_0375_0003__WALKING,R_0375_0001__TANCE) ) ).

( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{tance}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (VAG;_Ipr_ walking;{walk[toward]})
                                  (ADVP-NIM (ADV slowly;{slowly}))
                                  (PP-CLR (P-ROLE toward;{toward})
                                          (NP;{GUN} (D the;{the})
                                                    (N gun;{gun}))))
                            (PUNC ,)
                            (CONJP (ILYR (VAG;_phr_Vp_ peering;{peer[up]})
                                         (ADVP-NIM (ADV nearsightedly;{nearsightedly}))
                                         (RP up;{up})
                                         (PP-NIM (P-ROLE at;{at})
                                                 (NP;{GUN} (PRO it;{it})))))))
          (PUNC .))
  (ID 375_a_dick_1952))