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

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