bel(system,bel_ref(user,$B6d9T(B_place1,at_loc,$B6d9T(B,[near(at_loc,user)])).
bel(system,know(user,effect($B?=@A(B(user,$B:FH/9T(B($B%H%i%Y%i!<%:%A%'%C%/(B)),$B;}$D(B(user,$B%H%i%Y%i!<%:%A%'%C%/(B)))).
bel(system,bel_ref(user,police_place1,at_loc,$B7Y;!=p(B,[near(at_loc,user)])).
bel(system,know(user,effect($B9T$/(B(user,$B6d9T(B),$B$$$k(B(user,$B6d9T(B)))).
bel(system,know(user,effect($B?=@A(B(user,$BH/9T(B($BJ6<:>ZL@=q(B)),$B;}$D(B(user,$BJ6<:>ZL@=q(B)))).
bel(system,know(user,effect($B9T$/(B(user,$B7Y;!=p(B),$B$$$k(B(user,$B7Y;!=p(B)))).
bel_ref(system,aaa,at_loc,user,[]).
                                                                                