| A simple example of an inferencing that could be difficult to control



the transitive closure of g has a row some-x some-y
the transitive closure of g has a row that-y some-z
---------------------------------------------------
the transitive closure of g has a row that-x that-z


the transitive closure of g has a row some-x some-y
===================================================
                                       a       b
                                       b       a


| 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 ForJos.