471_a_dick_1952
He flashed the light around.
( (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))
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_0471_0001__HE,R_0471_0003__THE_R_0471_0004__LIGHT,R_0471_0002__FLASHED_R_0471_0005__AROUND] :
( r_0471_0001__He(R_0471_0001__HE)
& r_0471_0003__the_r_0471_0004__light(R_0471_0003__THE_R_0471_0004__LIGHT)
& r_0471_0002__flashed_r_0471_0005__around(R_0471_0002__FLASHED_R_0471_0005__AROUND)
& has_arg1(R_0471_0002__FLASHED_R_0471_0005__AROUND,R_0471_0003__THE_R_0471_0004__LIGHT)
& has_arg0(R_0471_0002__FLASHED_R_0471_0005__AROUND,R_0471_0001__HE) ) ).