="manual_2.html#Relation-Definitions">2.2 Definitions</a></li>
    <li><a name="toc-Truth-Values-1" href="manual_2.html#Truth-Values">2.3 Truth Values</a></li>
    <li><a name="toc-Modules-1" href="manual_2.html#Modules">2.4 Modules</a></li>
  </ul></li>
  <li><a name="toc-Annotated-Example-1" href="manual_3.html#Annotated-Example">3. Annotated Example</a>
  <ul class="toc">
    <li><a name="toc-Using-Modules-1" href="manual_3.html#Using-Modules">3.1 Using Modules</a></li>
    <li><a name="toc-Concepts-1" h