pan
 style="font-family: script mt bold;">P</span></big><span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) </p>
    <p style="margin-left: 20px;">in the IFF theory namespace.</p>
  </li>
  <li>
    <p>Apply the subset difference operation getting a new set of axioms</p>
    <p style="margin-left: 40px;">(<span
 style="font-family: arial; font-style: italic;">axm</span>(<span
 style="font-style: italic; font-weight: bold;">T</spa