Re: Trying to make sense of range and drange

At 07:59 PM 3/16/02 -0800, Pat Hayes wrote:
>>According to section 5 of [1], taking account that literals denote 
>>themselves, this means that
>>
>>    <x,y> in IEXT(I(ex:age)) => z=L2V(I(datatype:decimal))(y) for some z
>
>No, it doesn't constrain the relational extension. What it does say is that
>
>( <x,y> in IEXT(I(ex:age))  AND  y a literal)  => 
>z=L2V(I(datatype:decimal))(y) for some z
>
>ie IF its a literal then its in the lexical space of datatype:decimal. But 
>if its not, then nothing particular follows.

Ah, that's what I was missing.  Thanks.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>

Received on Tuesday, 19 March 2002 11:07:47 UTC