 Truth Maintenance</a></li>
    <li><a name="toc-Inference-Control-1" href="manual_3.html#Inference-Control">3.16 Inference Control</a></li>
    <li><a name="toc-Keyword-Axioms-1" href="manual_3.html#Keyword-Axioms">3.17 Keyword Axioms</a></li>
    <li><a name="toc-Cardinality_002fType-Reasoning-with-Frame-Predicates-1" href="manual_3.html#Cardinality_002fType-Reasoning-with-Frame-Predicates">3.18 Cardinality/Type Reasoning with Frame Predicates</a></li>
    <li><a name="toc-Loom_002dto_002dPowerLoom-1" hre