For example, the ball enters the room is satisified when the distinguished location, D, (the room) is successfully tested as the location for the moving object.
the location is tested against the current location for an object ((loc(x) = D)?