(a):-not q AND p(b):-not q]:</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,
  adHocConjunctiveQueries = <span class="std">Seq</span>(),
  adHocDisjunctiveQueries = <span class="std">Seq</span>(),
  adHocConjunctionOfSimpleGroundRul