[ true ] > On the basis of my experience as a user and an implementor, > I prefer that our spec justifies the sameState entailment, and right, we succeeded with that one > it's acceptable to me if it doesn't justify the peopleKey entailment. > This does not support the "detecting inconsistency" goal, but as > far as I can tell, it doesn't contradict any of our agreed requirements. I'm quite confident that that one could work as well (with math:proofCount and some such) -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Thursday, 18 July 2002 17:19:36 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT