object"></a><a href="DIMACPlainSparser$.html" title="Parser for DIMACS-CNF and PCNF (probabilistic CNF).">DIMACPlainSparser</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="GroundSymbolicASPRule.html" title="As input.SymbolicASPRule, but without variables." class="class"></a><a href="GroundSymbolicASPRule.html" title="As input.SymbolicASPRule, but without variables.">GroundSymbolicASPRule</a></li><li class="current-entities indented1"><span class="separator"></span> <a