471_a_dick_1952
He flashed the light around.
arc(r_0471_0002__flashed_r_0471_0005__around, r_0471_0001__He, arg0).
arc(r_0471_0002__flashed_r_0471_0005__around, r_0471_0003__the_r_0471_0004__light, arg1).
fof(formula,axiom,
? [R_471_2_FLASHED_AROUND,R_471_1_HE,R_471_3_THE_LIGHT] :
( he(R_471_1_HE)
& the_light(R_471_3_THE_LIGHT)
& flashed_around(R_471_2_FLASHED_AROUND,R_471_1_HE,R_471_3_THE_LIGHT) ) ).
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
(VBD;_phr_Vn<=>p_ flashed;{flash[around]})
(NP-OB1 (D the;{the})
(N light;{light}))
(RP around;{around})
(PUNC .))
(ID 471_a_dick_1952))