 height: 294px;"
 vspace="20"><br>
</p>
<p><big><span style="font-weight: bold;">Table 1: IFF Lattice of
Theories Operators &#8211; Objects</span></big></p>
<table
 style="width: 600px; text-align: left; background-color: rgb(0, 0, 0);"
 border="2" cellpadding="5" cellspacing="2">
  <tbody>
    <tr>
      <td style="vertical-align: top;">
      <p style="font-family: arial; font-weight: bold;"><big>IFF
Lattice of Theories Namespace</big></p>
[ <span style="font-style: italic; font-weight: bold;">L</span> is