ody-of-Message-->
<PRE>


I've snipped most of the following, and left only the snippet I want to
comment on
just now.

It seems to me that it is fundamental that things don't have locations.
They only
have locations _relative_ to other things.   (This harks back to John
Sowa's list
of coordinate systems or coordinate free alternatives of a day or so back.)

There is a function  underlying _where_ that is a binary function, for
example,
                separation(x,y).

(Sorry, I can read some KIF but can't