Re: new version of semantic layering document

Also, the unqualified claim that inference in fast OWL is the same as
inference in my semantics for the abstract syntax has resurfaced.  This
needs to be proven, and make take considerable effort.  As it stands right
now, with the extensionality condition in force, it is almost certainly
false. 

peter