ass="fullcommenttop"><div class="comment cmt"><p>User API representation of a probabilistic or non-probabilistic ASP ground program,
consisting of a set of <a href="GroundSymbolicASPRule.html" name="input.GroundSymbolicASPRule" id="input.GroundSymbolicASPRule" class="extype">input.GroundSymbolicASPRule</a> rules (for the User API for probabilistic Boolean clauses, see <a href="BooleanFormulaWithCosts.html" name="input.BooleanFormulaWithCosts" id="input.BooleanFormulaWithCosts" class="extype">input.BooleanFo