This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1632 - [FS] convention for inferences with no premises
Summary: [FS] convention for inferences with no premises
Status: CLOSED WONTFIX
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows 2000
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-15 21:32 UTC by Fred Zemke
Modified: 2007-01-16 17:29 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-15 21:32:07 UTC 
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.
Comment 1 Jerome Simeon 2005-07-19 17:10:12 UTC 
I believe this is editorial.
- Jerome
Comment 2 Jerome Simeon 2006-04-15 22:55:52 UTC 
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