> From: Ian Horrocks
> And the same is true the other way around - it seems quite likely that
> a user would want to assert that a set of individuals are
> distinct/disjoint without there ever being an occasion to use the
> whole set in a description.
As usual, the point is well-made - and considerably more important than
my comments.
- Peter