1686 2005-07-17 21:37:43 +0000 Hard to find the definitions of purely symbolic judgments 2007-01-16 17:34:07 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 minor --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4772 0 fred.zemke 2005-07-17 21:37:43 +0000 4.1.5 Function calls The definition of [Expr]atomizeAtomic(SequenceType) uses the notation <: , which has not been previously defined. Probably the best would be to mention this in 2.1.2 "Notations for judgments" with a forward reference to its definition in 7.4.2 "Subtype". One of the things that makes this definition especially hard to find is that there are no English words in the judgment, so you cannot scan the table of contents to find it. To fix this, you might insure one or more of the following: 1. all judgments with no English terms are mentioned in section 2. 2. the symbols used in these purely symbolic judgments appear in the titles of their sections. For example, 8.3.2 might be titled "Subtype (<:) and type equality (=)". 4942 1 fred.zemke 2005-07-19 23:00:19 +0000 Here I'll add what may be the best solution of all: add an appendix with a master list of all judgments, preferably in alphabetic order (with the symbolic ones such as <: or =>stat sorted in some intelligible fashion), and with hot links to the definition. Place a reference to this list in 2.1.2 "Notations for judgments" for good measure. 9408 2 simeon 2006-04-24 14:10:50 +0000 Added index for the FS judgments, as suggested. - Jerome