 alignment
diagram is not automatic. Instead, much negotiation between participant
communities will be involved in this step. Perhaps some form of
game-theoretic semantics would be useful here.<br>
</p>
<h3><a name="Unification"></a>Unification</h3>
<p style="text-align: justify;">The process of unification is fusion of
the alignment diagram. We use the logic alignment diagram to specify a
logic invariant: we use the type aspect to specify an equivalence
relation on the types (entity, function and relation)