Hi, all! Sorry for being so late to butt in.
I guess you're getting a bit off the point all over. I quite understand the
semantic difference between or and cond, and or (unit commit) is exactly what I
need. That PS was simply a PS, almost apologized for in a follow-up message.
That is: I _don't_ need "or" to reduce due to entailment of one or more of its
subspaces. I just wondered why that was not the case, and subsequently was
surprised at the fact that the actual case suited me perfectly.
My real question was right at the beginning and primarily regarded matters of
efficiency/implementation: what _really_ happens when a subspace is entailed?
Does that relieve any of the load of the or statement? For I think it should,
once it is then ensured that such a statement will never reduce nor have any
effect on the original (parent) space.
Cheerio,
Jorge.
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.