weight: bold;">Theory</span><small
 style="font-family: arial;"><sup>&#8869;</sup></small> passages form
the <span style="font-style: italic;">integration</span> (aka free
logic)
generalized inverse <span style="font-family: arial;">&#955;</span>, which
is important in the IFF semantic integration
of object-level ontologies. The integration generalized inverse is the
composition of the free prologic generalized inverse with the
restriction generalized inverse. Any model has a free logic, whose
component mod