arc(r_0315_0001__Even_r_0315_0002__as, r_0315_0004__watched, restriction).
arc(r_0315_0001__Even_r_0315_0002__as, z_000_315_a_dick_1952_33, scope).
arc(r_0315_0004__watched, r_0315_0003__they, arg0).
arc(r_0315_0007__moved, r_0315_0005__the_r_0315_0006__gun, arg0).
arc(r_0315_0007__moved, r_0315_0010__swivel_r_0315_0011__base, r_0315_0008__on_nim23).
arc(r_0315_0010__swivel_r_0315_0011__base, r_0315_0005__the_r_0315_0006__gun, gen).
arc(r_0315_0013__whirring, r_0315_0005__the_r_0315_0006__gun, arg0).
arc(r_0315_0013__whirring, r_0315_0014__underneath, nim37).
arc(z_000_315_a_dick_1952_33, r_0315_0007__moved, scope).
arc(z_000_315_a_dick_1952_33, r_0315_0013__whirring, restriction).

fof(formula,axiom,
    ? [R_0315_0003__THEY,R_0315_0004__WATCHED,R_0315_0005__THE_R_0315_0006__GUN,R_0315_0010__SWIVEL_R_0315_0011__BASE,R_0315_0007__MOVED,R_0315_0014__UNDERNEATH,R_0315_0013__WHIRRING,Z_000_315_A_DICK_1952_33,R_0315_0001__EVEN_R_0315_0002__AS] :
      ( r_0315_0003__they(R_0315_0003__THEY)
      & r_0315_0005__the_r_0315_0006__gun(R_0315_0005__THE_R_0315_0006__GUN)
      & r_0315_0014__underneath(R_0315_0014__UNDERNEATH)
      & r_0315_0001__Even_r_0315_0002__as(R_0315_0001__EVEN_R_0315_0002__AS)
      & has_conj2(R_0315_0001__EVEN_R_0315_0002__AS,Z_000_315_A_DICK_1952_33)
      & z_000_315_a_dick_1952_33(Z_000_315_A_DICK_1952_33)
      & has_conj1(Z_000_315_A_DICK_1952_33,R_0315_0013__WHIRRING)
      & r_0315_0013__whirring(R_0315_0013__WHIRRING)
      & has_nim37(R_0315_0013__WHIRRING,R_0315_0014__UNDERNEATH)
      & has_arg0(R_0315_0013__WHIRRING,R_0315_0005__THE_R_0315_0006__GUN)
      & has_conj2(Z_000_315_A_DICK_1952_33,R_0315_0007__MOVED)
      & r_0315_0007__moved(R_0315_0007__MOVED)
      & has_r_0315_0008__on_nim23(R_0315_0007__MOVED,R_0315_0010__SWIVEL_R_0315_0011__BASE)
      & r_0315_0010__swivel_r_0315_0011__base(R_0315_0010__SWIVEL_R_0315_0011__BASE)
      & has_gen(R_0315_0010__SWIVEL_R_0315_0011__BASE,R_0315_0005__THE_R_0315_0006__GUN)
      & has_arg0(R_0315_0007__MOVED,R_0315_0005__THE_R_0315_0006__GUN)
      & has_conj1(R_0315_0001__EVEN_R_0315_0002__AS,R_0315_0004__WATCHED)
      & r_0315_0004__watched(R_0315_0004__WATCHED)
      & has_arg0(R_0315_0004__WATCHED,R_0315_0003__THEY) ) ).

( (IP-MAT (PP-SCON (ADV Even;{even})
                   (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
                           (VBD;_I_ watched;{watch})))
          (NP-SBJ;{GUN} (D the;{the})
                        (N gun;{gun}))
          (VBD;_I_ moved;{move})
          (PP-NIM (P-ROLE on;{on})
                  (NP (NP-GEN;{GUN} (PRO;_genm_ its;{its}))
                      (N swivel;{swivel})
                      (N base;{base})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_I_ whirring;{whir})
                           (ADVP-NIM (ADV underneath;{underneath}))))
          (PUNC .))
  (ID 315_a_dick_1952))