338_a_dick_1952
Instantly the great barrel moved, the vanes contracted.
arc(r_0338_0002__the_r_0338_0004__barrel, r_0338_0003__great, attrib10).
arc(r_0338_0005__moved, r_0338_0001__Instantly, nim4).
arc(r_0338_0005__moved, r_0338_0002__the_r_0338_0004__barrel, arg0).
arc(r_0338_0009__contracted, r_0338_0007__the_r_0338_0008__vanes, arg0).
arc(z_000_338_a_dick_1952_2, r_0338_0005__moved, conj1).
arc(z_000_338_a_dick_1952_2, r_0338_0009__contracted, conj2).
fof(formula,axiom,
? [Z_338_A_DICK_1952_2,R_338_5_MOVED,R_338_2_THE_BARREL,R_338_3_GREAT,R_338_1_INSTANTLY,R_338_9_CONTRACTED,R_338_7_THE_VANES] :
( great(R_338_3_GREAT)
& instantly(R_338_1_INSTANTLY)
& the_vanes(R_338_7_THE_VANES)
& z_338_a_dick_1952_2(Z_338_A_DICK_1952_2)
& conj1(Z_338_A_DICK_1952_2,R_338_5_MOVED)
& moved(R_338_5_MOVED,R_338_2_THE_BARREL)
& the_barrel(R_338_2_THE_BARREL)
& attrib10(R_338_2_THE_BARREL,R_338_3_GREAT)
& nim4(R_338_5_MOVED,R_338_1_INSTANTLY)
& conj2(Z_338_A_DICK_1952_2,R_338_9_CONTRACTED)
& contracted(R_338_9_CONTRACTED,R_338_7_THE_VANES) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Instantly;{instantly}))
(NP-SBJ (D the;{the})
(ADJP (ADJ great;{great}))
(N barrel;{barrel}))
(VBD;_I_ moved;{move}))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (D the;{the})
(NS vanes;{vane}))
(VBD;_I_ contracted;{contract}))))
(PUNC .))
(ID 338_a_dick_1952))