[Bug 5165] Editorial: numbering of rules and constraints

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





------- Comment #4 from davep@iit.edu  2008-01-06 21:12 -------
(In reply to comment #2)

> Behind these stylistic differences there is actually something more
> fundamental: some of the constraints are merely definitions of properties that
> a component may or may not have (These are often introduced with the phrase
> "The following constraints define relations appealed to elsewhere in this
> specification."), while some of them describe rules that components must
> satisfy in order to be valid. 

>                                   constraints should be in the form "Every
> complex type definition T must satisfy all of the following", or "Definition: a
> complex type P is a _valid restriction_ of a complex type Q if all the
> following conditions are true"

I don't understand why a definition alone should ever be called a constraint. 
Why aren't the presented simply as formal definitions?

Received on Sunday, 6 January 2008 21:12:31 UTC