is "would

&gt;they bring utility?".  If the answer to that question is "no" then their
&gt;relationship to FOL is irrelevant.  If the answer is "yes" or "maybe" then

&gt;the relationship to FOL becomes a substantive issue.

I would say "maybe", and a clearer understanding of how they
relate to FOL would help us decide how, where, and when to
use them in addition to or instead of some other notations.

John Sowa

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<ul><li><st