|   Kathy asked:
|
|   All men are mortal.
|   Pat is a man.
|   John is a man.
|   Kathy is a woman.
|
|   How to avoid the Tarskian interpretations that include ''Kathy is immortal''?
|
|   IBL wrote -- by taking the unique minimum model, as discussed in
|   ''Backchain Iteration: Towards a Practical Inference Method that is Simple
|     Enough to be Proved Terminating, Sound and Complete''. Journal of Automated Reasoning, 11:1-22
|
|  You can run this example in the Internet Business Logic system at www.reengineeringllc.com



some-person is a man
---------------------
that-person is mortal


this-person is a man
=====================
  Pat
  John


this-person is a woman
=======================
  Kathy


this-person is immortal
=======================


| This file is an application written in the language Executable English.
| You can view, run and change it by pointing a browser
| to www.reengineeringllc.com and selecting KathysExample.