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

