Re: unambiguity constraint

James Clark wrote:

> I should also mention that I believe the technique I use here can also be
> used for determining whether the intersection of two name classes is empty:

Can this technique be also used for determining equivalence?  In other 
words, if contains(nc1, x) and contains(nc2, x) always coincide, are 
nc1 and nc2 equivalent?

Cheers,

Makoto