[SCL] Second version of the SCL draft spec here

[Tanel Tammet]

Hi,'

Chris Menzel wrote:
> On Sat, Nov 01, 2003 at 04:05:05PM +0200, Tanel Tammet wrote:
> 
> I am working on the 1 Nov version of Tanel's document.  I'll try to have
> something out in the next couple of days that cleans up the syntax and
> spells out the section on identity.

Great! I won't submit anything until you have sent the new
version (unless you forget to send it in a next couple of
days :-). Planning to put in the chapter on KIF syntax of SCL
immediately after receiving your version.

Hopefully you can also put in the standalone semantics
chapter. I'd suggest not to put the identity into this
"core" chapter, but the special later section (full SCL
module) in the spec structure.

BTW, there are a few foolish, but non-crucial mistakes
in the  explanatory parts of the SCL->FOL chapter text
(the translation algorithm itslf should be OK, though).

Regards,
         Tanel