age and term statistics for the documentation of the
IFF-ONT.</p>
</div>
<ul>
  <li style="text-align: justify;">
    <p>A total of 270 pages are used to describe and axiomatize the
IFF-ONT. This introduction document (HTML) is 15 pages long, the
metatheory document (PDF) is 61 pages long, and the four namespace
documents (PDF) have a total of 194 pages. The latter breaks down as
follows: the language namespace document is 95 pages, the theory
namespace document is 49 pages, the model namespace document is 