W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1721] [FS] need a judgment to find the "best" type and quantifier

From: <bugzilla@wiggum.w3.org>
Date: Thu, 21 Jul 2005 20:21:06 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DvhXW-0005ij-Q4@wiggum.w3.org>

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


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Additional Comments From simeon@us.ibm.com  2005-07-21 20:21 -------
This is one of the few cases, where the available formalism cannot be fully
precise. Rather than change the whole approach, I would probably prefer adding
some clarification in prose next to the rule, indicating that in cases several
types can be inferred, the 'best' one is chosen. This could be done also using a
'semi formal' judgment like 'Type1 is most precise', which could be defined in
prose.

Would you be satisfied with that approach?

- Jerome
Received on Thursday, 21 July 2005 20:21:09 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC