bel(system,$B;}$D(B(user,$B9XF~95$((B($B%H%i%Y%i!<%:%A%'%C%/(B))).
bel(system,neg($B;}$D(B(user,$BJ6<:>ZL@=q(B))).
bel(system,bel_ref(user,$B6d9T(B_place1,at_loc,$B6d9T(B,[near(at_loc,user)])).
bel_ref(system,$B%[%F%k(B,at_loc,user,[]).
