Re: quick syntax question.

On Tue, 2003-07-29 at 00:08, pat hayes wrote:
> Regarding the below, my current version says this:
> 
> "... there may be valid D-entailments for 
> particular datatypes which depend on 
> idiosyncratic properties of the particular 
> datatypes, such as..." (old text at end of 
> section 7.4, now following added:)
> 
> "In particular, the value space and 
> lexical-to-value mapping of the XSD datatype 
> xsd:string sanctions the identification of typed 
> literals with plain literals without language 
> tags for all character strings which are in the 
> lexical space of the datatype, since both of them 
> denote the Unicode character string which is 
> displayed in the literal; so the following 
> inference rule is valid in all 
> XSD-interpretations. Here, 'sss' indicates any 
> string of characters in the lexical space of 
> xsd:string.

That last sentence is particularly cunning.  Too cunning?   Should we
note that some plain literals are not in the lex space of xsd:string?

Brian