ioms. </p>
  </li>
  <li>
    <p><span style="font-weight: bold;">Analogy</span>: Unlike
contraction
and expansion, which move to nearby theories in the
lattice, analogy jumps to a remote theory by systematically renaming
the entity types, relation types, and constants (individuals) that
appear in the axioms. </p>
  </li>
</ul>
<p style="text-align: justify;">By repeated contraction, expansion, and
analogy, any theory can be converted into any other. Multiple
contractions would reduce a (closed) theory to t