ref="/documentation/subsumption-based-hl-modules" class="active-trail active">Subsumption-Based HL Modules</a><ul class=" active"><li class="first leaf"><a href="/documentation/isa-support">#$isa support</a></li>
<li class="leaf"><a href="/documentation/genls-support">#$genls support</a></li>
<li class="last leaf"><a href="/documentation/genlpreds-and-genlinverse-support">#$genlPreds and #$genlInverse support</a></li>
</ul></li>
<li class="last leaf"><a href="/documentation/general-transitivity-support">Gen