ew and Graham are right.  We need to focus on something
that looks like English hence the need to explicitly establish a syntactic
structure consistent with traditional structures.  Our goal is a language
stands unambiguously in an isomorphic relation to KIF.
&gt;
&gt;Perhaps one approach is to take a minimal syntactic structure such as Adam
proposes,
&gt;
&gt;GH&gt; I developed a bigger structure than necessary for our immediate
purposes in order to ensure sound extensibility.
&gt;
&gt;GH&gt; If you look a