, we might get a highly non-uniform distribution if there are no probabilities specified</span>
  )
)

<span class="cmt">// Create the program from the rules and parameters and sample models:</span>

<span class="kw">val</span> sampled: SamplingResult = ProbabilisticAnswerSetProgram(groundRules, backgroundProgramAspifOpt = <span class="std">None</span>).
  solve(solverParams, paramAtomsAndInnerCostsStrOpt = <span class="std">None</span>)

<span class="cmt">// Print sample and the result of ad hoc query Pr[p