ody-of-Message-->
<PRE>

Pat Hayes wrote:
&gt; 
&gt; [Jon Awbrey wrote:]
&gt; &gt;
&gt; &gt; The problem is not writing the axioms --
&gt; &gt; the problem is drawing the consequences.
&gt; &gt;
&gt; &gt; Jon Awbrey
&gt; 
&gt; They are *both* very hard problems.  Drawing the consequences
&gt; is traditionally thought of as the problem of theorem-proving,
&gt; and there is a lot known about it (and how hard it indeed is).
&gt; But just writing the axioms is also a very hard problem, as
&gt; some of the great