319_a_dick_1952
The gun moved again, this time clockwise.
( (IP-MAT (NP-SBJ;{GUN} (D The;{the})
(N gun;{gun}))
(VBD;_I_ moved;{move})
(ADVP-NIM (ADV again;{again}))
(PUNC ,)
(NP-NIM (D this;{this})
(N time;{time}))
(ADVP-NIM (ADV clockwise;{clockwise}))
(PUNC .))
(ID 319_a_dick_1952))
arc(r_0319_0003__moved,r_0319_0001__The_r_0319_0002__gun,arg0).
arc(r_0319_0003__moved,r_0319_0004__again,nim).
arc(r_0319_0003__moved,r_0319_0006__this_r_0319_0007__time,nim).
arc(r_0319_0003__moved,r_0319_0008__clockwise,nim).
fof(formula,axiom,
? [R_0319_0001__THE_R_0319_0002__GUN,R_0319_0004__AGAIN,R_0319_0006__THIS_R_0319_0007__TIME,R_0319_0008__CLOCKWISE,R_0319_0003__MOVED] :
( r_0319_0001__The_r_0319_0002__gun(R_0319_0001__THE_R_0319_0002__GUN)
& r_0319_0004__again(R_0319_0004__AGAIN)
& r_0319_0006__this_r_0319_0007__time(R_0319_0006__THIS_R_0319_0007__TIME)
& r_0319_0008__clockwise(R_0319_0008__CLOCKWISE)
& r_0319_0003__moved(R_0319_0003__MOVED)
& has_nim(R_0319_0003__MOVED,R_0319_0008__CLOCKWISE)
& has_nim(R_0319_0003__MOVED,R_0319_0006__THIS_R_0319_0007__TIME)
& has_nim(R_0319_0003__MOVED,R_0319_0004__AGAIN)
& has_arg0(R_0319_0003__MOVED,R_0319_0001__THE_R_0319_0002__GUN) ) ).