[Bug 12185] Conditional Type Assignment and substitutability

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

--- Comment #15 from Michael Kay <mike@saxonica.com> 2011-06-03 15:11:18 UTC ---
re "4.6 S.{type table} is ·equivalent· to G.{type table}, if either ·present·."

I find it hard to swallow a statement that something that doesn't exist can
have properties and relationships, such as equivalence to something else that
doesn't exist.

The statement works if "S.{type table}" is a reference to the property, but
usually in our specs "S.{type table}" is a reference to the value of the
property. The properties are equivalent but the type tables aren't, because
there are no type tables. I prefer Sandy's wording.

-- 
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 Friday, 3 June 2011 15:11:22 UTC