rmulaWithCosts</a>).</p><p>Some forms of non-ground rules are supported too (see <a href="SymbolicASPRule.html" name="input.SymbolicASPRule" id="input.SymbolicASPRule" class="extype">input.SymbolicASPRule</a>) but these must be grounded into
sets of ground rules by calling <a href="SymbolicASPRule.html#genGroundInstances:Seq[input.GroundSymbolicASPRule]" name="input.SymbolicASPRule#genGroundInstances" id="input.SymbolicASPRule#genGroundInstances" class="extmbr">input.SymbolicASPRule.genGroundInstances</a> b