I believe that the use of equality in the conclusion of a rule implication should be retained, since there are situations where as a result of reasoning once wishes to infer that 2 entities are in fact the same. David Mott, PhD, C. Eng. Technical Staff Member Hursley Emerging Technology Services IBM UK Ltd Telephone: +44 (0) 1962 817182 or internal x247182 email: mottd@uk.ibm.com emerging.hursley.ibm.com Technical solutions to business problems that require innovation across IBM Unless stated otherwise above: IBM United Kingdom Limited - Registered in England and Wales with number 741598. Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AUReceived on Wednesday, 10 June 2009 14:12:34 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 10 June 2009 14:12:34 GMT