RE: oneOfDistinct, a proposal for 5.18

> 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