[...] > I don't think you can really have it both ways. The forSome > interpretation seems to be pretty standard, that's what we think as well > and not exactly > inconsistent with what we've been calling skolemization. I'm still not there to see why we should skolemize here -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Friday, 29 June 2001 09:35:54 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:37:19 EDT