 <big><span
 style="font-family: script mt bold;">P</span></big><span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-weight: bold; font-style: italic;">L</span>) </p>
    <p style="margin-left: 20px;">in the IFF set function namespace (of
the IFF lower core ontology). </p>
  </li>
  <li>
    <p>Install this subset of expressions as a theory</p>
    <p style="margin-left: 40px;"> <span
 style="font-family: arial; font-style: italic;">axm</span>(<span
 style="font-style: itali