bove, to express Rise&lt;3&gt; as a conjunction of two Rise&lt;2&gt;'s.

Okay, there is a lot more to say, even about such a simple example,
but I have a feeling that this much is just about enough for today.

Jon Awbrey

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<ul><li><strong>Follow-Ups</strong>:
<ul>
<li><strong><a name="01733" href="msg01733.html">Re: SUO: Reducibility Among Relations</a></strong>
<ul><l