num">0.7</span>d),  <span class="cmt">// Probability of the rule (use 'None' for a hard rule)</span>
  distrPrOverGroundings = <span class="kw">false</span> <span class="cmt">// with false, the probability applies to the entire non-ground rule.</span>
   <span class="cmt">// With true (which might be more useful in practice), it would apply to each ground instance rule individually.</span>
  ).genGroundInstances

println(<span class="lit">"\n------------- Ground instances of [0.7] p(X) :- not q :\n"</span> 