lto:owner-standard-upper-ontology@ieee.org">owner-standard-upper-ontology@ieee.org</A></LI>
</UL>
<!--X-Head-of-Message-End-->
<!--X-Head-Body-Sep-Begin-->
<hr>
<!--X-Head-Body-Sep-End-->
<!--X-Body-of-Message-->
<PRE>

Chris,

I am happy that you have now come around to my position that any
assertion that "&lt;name&gt; = &lt;expression&gt;" by definition is a kind of
modality:

   "A = B" is a statement that A and B happen to be equal
           in the current state of affairs (possible world, context,
   