/kb-indexing">KB Indexing</a></li>
<li class="leaf"><a href="/documentation/kb-mapping">KB Mapping</a></li>
<li class="leaf"><a href="/documentation/kb-accessors">KB Accessors</a></li>
<li class="leaf"><a href="/documentation/epistemological-level-support">Epistemological-Level Support</a></li>
<li class="expanded active-trail active"><a href="/documentation/transitivity-hl-modules" class="active-trail active">Transitivity HL Modules</a><ul class=" active"><li class="first expanded active-trail active"><a h