s with regard to the number of
    clauses and the number of variable tokens as k increases.

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

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<!--X-Follow-Ups-End-->
<!--X-References-->
<ul><li><strong>References</strong>:
<ul>
<li><strong><a name="03590" href="msg03590.html">Re: ONT Re: Critique Of Non-Functional Reason</a></strong>
<ul><li><em>From:</em> &quot;Douglas McDavid&quot; &lt;mcdavid@us.ibm.com&gt;</li>