[Bug 6566] predicate part of Z schema doesn't fully capture requirement

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6566





--- Comment #1 from Arthur Ryman <ryman@ca.ibm.com>  2009-03-23 13:45:52 ---
Mark, I looked at the predicate and agree with your comment. If either the set
of operations or faults is empty then there are no triples of the universally
quantified predicate so the condition is a no-op. 

The English text that describes the predicates is correct.

The fix is to split the predicate into two parts, one for operations and one
for faults.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 23 March 2009 13:46:03 UTC