
&gt;This is just the sort of discussion which I should like to see more of, and
&gt;which I consider essential to achieving clarity in a SUO.
&gt;
&gt;However, although I cannot tell with certainly, I think that you may be
&gt;discussing at cross purposes, since John refers to some utilization of a
&gt;hierarchy of meta-languages, while Pat speaks only of the expressiveness of
&gt;'sorted FOL'.
&gt;
&gt;Clarification?

I will try.  Background: part of the motivation for a 'new KIF' was a 
perception that K