TSPC 315_a_dick

315_a_dick_1952
Even as they watched the gun moved on its swivel base, whirring underneath.

( (IP-MAT (PP-SCON (ADVP-NIM (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))

arc(r_0315_0001__Even_r_0315_0002__as,r_0315_0004__watched,restriction).
arc(r_0315_0001__Even_r_0315_0002__as,z_0315_5004,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__nim).
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,nim).
arc(z_0315_5004,r_0315_0007__moved,scope).
arc(z_0315_5004,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_0315_5004,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_0315_5004)
      & z_0315_5004(Z_0315_5004)
      & has_conj1(Z_0315_5004,R_0315_0013__WHIRRING)
      & r_0315_0013__whirring(R_0315_0013__WHIRRING)
      & has_nim(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_0315_5004,R_0315_0007__MOVED)
      & r_0315_0007__moved(R_0315_0007__MOVED)
      & has_r_0315_0008__on__nim(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) ) ).