ept weak rules :~.">SymbolicASPRule</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="diffSAT$.html" title="" class="object"></a><a href="diffSAT$.html" title="">diffSAT</a></li></ul></div></div><div id="content"><body class="class type"><div id="definition"><div class="big-circle class">c</div><p id="owner"><a href="index.html" name="input" id="input" class="extype">input</a></p><h1>BooleanClause<span class="permalink"><a href="../input/BooleanClause.html" title="Perma