)
  , GroundSymbolicASPRule(choiceHeadOpt = <span class="std">Some</span>(<span class="std">Seq</span>(<span class="lit">"q"</span>)))

)

<span class="kw">val</span> solverParams = SolverParametersOverlay(
  noOfModels = -<span class="num">1</span>, <span class="cmt">// -1 means sample until desired accuracy (loss threshold) has been reached. A positive</span>
  <span class="cmt">// number would specify a minimum sample size (in terms of number of answer sets).</span>
  noOfSecondaryModels = <span class="n