Re: the mechanism for signatures in RIF

Michael Kifer wrote:
> The idea behind sorts is not 
Here, I would add necessarily
> to force some standard domains on sorts, but
> to separate their domains so that they could be treated separately. 
This is what we need for URIs. And for integers, we need in addition a
special interpretation.

Francois