-Semantics-1" href="manual_3.html#Negation-and-Open-and-Closed-World-Semantics">3.7 Negation and Open and Closed World Semantics</a></li>
    <li><a name="toc-Retraction-1" href="manual_3.html#Retraction">3.8 Retraction</a></li>
    <li><a name="toc-Clipping-of-Values-1" href="manual_3.html#Clipping-of-Values">3.9 Clipping of Values</a></li>
    <li><a name="toc-Rule_002dbased-Inference-1" href="manual_3.html#Rule_002dbased-Inference">3.10 Rule-based Inference</a></li>
    <li><a name="toc-Explanation-1" hr