What would be the best way to represent the constraint that {S1, ...,
Sk} is a partition of S?
Malcolm
--
"Our age is not willing to stop with faith,
with its miracle of turning water into wine,
it goes further, it turns wine into water."
-- Soren Kierkegaard, "Fear and Trembling"