380_a_dick_1952
Instantly the gun shifted, the barrel retracting.
arc(r_0380_0004__shifted, r_0380_0001__Instantly, nim2).
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_000_380_a_dick_1952_14, r_0380_0004__shifted, scope).
arc(z_000_380_a_dick_1952_14, r_0380_0008__retracting, restriction).
fof(formula,axiom,
? [Z_380_A_DICK_1952_14,R_380_8_RETRACTING,R_380_6_THE_BARREL,R_380_4_SHIFTED,R_380_2_THE_GUN,R_380_1_INSTANTLY] :
( the_barrel(R_380_6_THE_BARREL)
& the_gun(R_380_2_THE_GUN)
& instantly(R_380_1_INSTANTLY)
& z_380_a_dick_1952_14(Z_380_A_DICK_1952_14)
& conj1(Z_380_A_DICK_1952_14,R_380_8_RETRACTING)
& retracting(R_380_8_RETRACTING,R_380_6_THE_BARREL)
& conj2(Z_380_A_DICK_1952_14,R_380_4_SHIFTED)
& shifted(R_380_4_SHIFTED,R_380_2_THE_GUN)
& nim2(R_380_4_SHIFTED,R_380_1_INSTANTLY) ) ).
( (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))