ef="manual_3.html#Explanation">3.11 Explanation</a></li>
    <li><a name="toc-Contexts-and-Modules-1" href="manual_3.html#Contexts-and-Modules">3.12 Contexts and Modules</a></li>
    <li><a name="toc-Equality-Reasoning-1" href="manual_3.html#Equality-Reasoning">3.13 Equality Reasoning</a></li>
    <li><a name="toc-Classification_002c-Subsumption" href="manual_3.html#Classification">3.14 Classification, Subsumption</a></li>
    <li><a name="toc-Truth-Maintenance-1" href="manual_3.html#Truth-Maintenance">3.15