K lines.

MW: This reflects my comment that we need a series of ontology parts. This
also points to a weakness in KIF which has no structuring capabilities. The
requirements to structure ontology need to be taken up in the KIF
specification.

&gt; 
&gt; 3. The process by which an agreed specification arises does 
&gt; NOT need to
&gt; follow 
&gt; the route of a `piece of grit' from which oysters come; 
&gt; otherwise known as 
&gt; `programming by debugging the null program'. There are alternatives.
&gt; T