Re: SEM: semantics for current proposal (why R disjoint V?)

>
> As noted in the design discussions for DAML+OIL, I don't
> see sufficient justification for making V disjoint
> from R.
>
> It seems silly not to be able to talk about the intersection
> of two sets of strings, or UniqueProperty's whose
> range is dates, or whatever.
>

I agree. It's very counter-intuitive to separate them out. I ran into a
lot of problems with this, creating a daml schema for icalendar.

libby