pan>).
  solve(solverParams, paramAtomsAndInnerCostsStrOpt = <span class="std">None</span>)

<span class="cmt">// Print sample and the result of ad hoc query Pr(q AND p):</span>
<span class="kw">val</span> (_, adHocConjunctiveQueriesResults, adHocDisjunctiveQueriesResults, adHocRuleQueriesResults, adHocConjunctionOfSimpleGroundRulesQuery) = diffSAT.queryAndPrintSolverResult(showauxInASPmode = <span class="kw">false</span>,
  satMode = <span class="kw">false</span>,
  samplingResult = sampled,
  adHocConjunc