d="input.GroundSymbolicASPRule" class="extype">GroundSymbolicASPRule</a>]</span>, <span name="backgroundProgramAspifOpt">backgroundProgramAspifOpt: <span name="scala.Option" class="extype">Option</span>[<span name="scala.Predef.String" class="extype">String</span>] = <span class="symbol">None</span></span>)</span><span class="result"> extends <span name="scala.Product" class="extype">Product</span> with <span name="scala.Serializable" class="extype">Serializable</span></span></span></h4><div id="comment" cl