esQuery = <span class="std">Seq</span>((<span class="lit">"p(a)"</span>, <span class="std">Seq</span>(<span class="lit">"not q"</span>)), (<span class="lit">"p(b)"</span>, <span class="std">Seq</span>(<span class="lit">"not q"</span>))), <span class="cmt">// we use</span>
  <span class="cmt">// adHocConjunctionOfSimpleGroundRulesQuery because distrPrOverGroundings = false in the grounding of the</span>
  <span class="cmt">// probabilistic rule.</span>
  printAdHocQueryResults = <span class="kw">true</span>,