[Bug 4367] Subsumption and assertions

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





------- Comment #1 from mike@saxonica.com  2007-03-05 22:52 -------
Looking at this more closely, while the "actually restricts" relation between
types clearly necessitates some subsetting relationship between the assertions
defined on the two types, I believe that this relationship always exists in
places where the "actually restricts" relation is appealed to.

Received on Monday, 5 March 2007 22:52:11 UTC