( (IP-MAT (ADVP-NIM (ADV Instantly;{instantly}))
          (NP-SBJ;{GUN} (D the;{the})
                        (N gun;{gun}))
          (VBD;_I_ shifted;{shift})
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                    (N barrel;{barrel}))
                            (VAG;_I_ retracting;{retract})))
          (PUNC .))
  (ID 380_a_dick_1952))

arc(r_0380_0004__shifted,r_0380_0001__Instantly,nim).
arc(r_0380_0004__shifted,r_0380_0002__the_r_0380_0003__gun,arg0).
arc(r_0380_0008__retracting,r_0380_0006__the_r_0380_0007__barrel,arg0).
arc(z_0380_5003,r_0380_0004__shifted,scope).
arc(z_0380_5003,r_0380_0008__retracting,restriction).

fof(formula,axiom,
    ? [R_0380_0001__INSTANTLY,R_0380_0002__THE_R_0380_0003__GUN,R_0380_0004__SHIFTED,R_0380_0006__THE_R_0380_0007__BARREL,R_0380_0008__RETRACTING,Z_0380_5003] :
      ( r_0380_0001__Instantly(R_0380_0001__INSTANTLY)
      & r_0380_0002__the_r_0380_0003__gun(R_0380_0002__THE_R_0380_0003__GUN)
      & r_0380_0006__the_r_0380_0007__barrel(R_0380_0006__THE_R_0380_0007__BARREL)
      & z_0380_5003(Z_0380_5003)
      & has_conj1(Z_0380_5003,R_0380_0008__RETRACTING)
      & r_0380_0008__retracting(R_0380_0008__RETRACTING)
      & has_arg0(R_0380_0008__RETRACTING,R_0380_0006__THE_R_0380_0007__BARREL)
      & has_conj2(Z_0380_5003,R_0380_0004__SHIFTED)
      & r_0380_0004__shifted(R_0380_0004__SHIFTED)
      & has_arg0(R_0380_0004__SHIFTED,R_0380_0002__THE_R_0380_0003__GUN)
      & has_nim(R_0380_0004__SHIFTED,R_0380_0001__INSTANTLY) ) ).