[SCL] two comments

[Murray Altheim]

Tanel Tammet wrote:
[...]
> 
> Again, observe that when we write down formulas in abstract
> syntax (and we have to do that in many places in the spec)
> then the abstract syntax is used as a concrete syntax of
> a special kind, which we happen to call "abstract",
> since we have not defined the ascii etc aspects of
> that language.

Tanel,

I think you've quite succinctly pointed out that what is at one level
abstract is at another concrete. These various levels of "meta-ness"
are there up and down the levels of description, and unavoidable. The
thing to do is be sure to keep the levels clear and distinct.

Murray

...........................................................................
Murray Altheim                         http://kmi.open.ac.uk/people/murray/
Knowledge Media Institute
The Open University, Milton Keynes, Bucks, MK7 6AA, UK                    .

    "The parties themselves, working with the Arab nations, have to find a
    way to co-operate to fight terror, without putting American forces in
    an area where they will become targets."
                              -- White House Press Secretary Ari Fleischer.
                  http://news.bbc.co.uk/1/hi/world/middle_east/2989154.stm