| 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