All of these "rules" have exception or implicit condition. If you treat them as "default rules", you run into multiple extension problem, which has no domain-independent solution in binary logic --- read http://www.cogsci.indiana.edu/pub/wang.reference_classes.ps for details.
Pei, Do you have a PDF version? Thanks! ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com