It does sound interesting. It is not that I want to be able to encode the meaning of natural speech (because I don't regard such utterances as logic, being connected with the analogue triggerings of various associations in the sender's and receiver's brains). I am interested if it is a powerful high-order language of which all practical languages for automation on the web can be shown to be (equivalent to) subsets. Tim > Peter Patel-Schneider >Received on Thursday, 1 February 2001 17:07:11 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:45 GMT