1632 2005-07-15 21:32:07 +0000 [FS] convention for inferences with no premises 2007-01-16 17:29:16 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED WONTFIX P2 minor --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4713 0 fred.zemke 2005-07-15 21:32:07 +0000 2.1.3 Notations for inference rules The convention of using a horizontal bar with no premises above it makes sense logically, but it can be hard to read when there are many such inferences following consecutively on a page, as occurs, for example, in 8.2.3.1.1 "Name tests". It would be better to have some non-whitespace representation of an empty set of premises, such as a single centered minus sign, or a mathematical empty set sign. 4883 1 simeon 2005-07-19 17:10:12 +0000 I believe this is editorial. - Jerome 9252 2 simeon 2006-04-15 22:55:52 +0000 The formal semantics has already too many special notations, and the meaning of inference rules when there is no precondition is explained in Section 2.1.4 Notations for inference rules. For that reason, we would prefer to keep it as is. Let us know if you feel strongly about this. - Jerome