operty="content:encoded"> <p style="font-family: 'Times New Roman'; line-height: normal; font-size: medium;">Methods that provide support efficient transitivity reasoning over the sbhl relations.</p>
 </div></div></div>  <div id="book-navigation-349" class="book-navigation">
    <ul class="menu"><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/genlp