><br>
      </td>
    </tr>
  </tbody>
</table>
<div style="text-align: justify;">The architecture of the IFF-ONT,
which is illustrated in Figure 1, is an example of a <a
 href="http://suo.ieee.org/IFF/metalevel/lower/metatheory/environment/version20041010.html">logical
environment</a>. This consists of four central mathematical
contexts (<span style="font-family: arial; font-weight: bold;">Language</span><small
 style="font-family: arial;"><sup>&#8869;</sup></small>, <span
 style="font-family: arial; font-