RE: Datatyping Summary V4

At 16:34 04/02/2002 +0000, Jeremy Carroll wrote:
[..]

> > >>
> > >>    <foo> <eg:size> _:s .  [ jjc modified this ]
> > >>    <bar> <eg:size> _:s .

Thanks for the correction, Jeremy.  That is indeed what I intended.

[...]

>_:s (which happens to be as 10.5) which makes the last two triples true.

Thank you for the confirmation.

Brian

Received on Monday, 4 February 2002 11:41:50 UTC