[Bug 6561] Type Substitutable in Restriction

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





--- Comment #9 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com>  2009-03-02 16:42:02 ---
Perhaps I am just too dim to understand it, but I don't see what contradiciton
arises from the example in comment #8.   If someone who has looked into the
example in greater detail can put it in terms of "For this example, rule xyz 
entails that A, and rule vwx entails that not(A)", I'd be grateful.


-- 
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, 2 March 2009 16:42:20 UTC