On Tue, 2005-11-08 at 01:17 -0600, Pat Hayes wrote: [...] > With the local option, we can define an answer as a substitution S such that > > G entails Q[S] > > where 'entails' is a parameter. Putting [entails] = [simply entails] > gives us the current design, Really? My understanding is that the last call design does _not_ work this way. [telcon now]. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29EReceived on Tuesday, 8 November 2005 14:49:18 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:24 GMT