The transitive closure operation will not work on a relation with
uninterpreted function symbols of arity **> 0**. Any operation that
requires the projection of input or output variables (such as
composition) may return inexact results if variables in the argument
list of a function symbol are projected.

omega@cs.umd.edu