span>) <span class="cmt">// For grounding. Observe that these atoms don't automatically become facts or body literals.</span>

<span class="kw">val</span> uncertainNongroundRuleGroundings: <span class="std">Seq</span>[GroundSymbolicASPRule] = SymbolicASPRule(
  headLiterals = <span class="std">Set</span>(<span class="lit">"p(X)"</span>),
  bodyLiterals = <span class="std">Set</span>(<span class="lit">"not q"</span>),
  domainAtoms = domainAtoms,
  probabilityOpt = <span class="std">Some</span>(<span class="