+ uncertainNongroundRuleGroundings.mkString(<span class="lit">"\n"</span>))

<span class="kw">val</span> groundRules: <span class="std">Set</span>[GroundSymbolicASPRule] = { <span class="cmt">// all ground rules of the program</span>
  <span class="cmt">/*
        #domain p(a).
        #domain p(b).

        [0.7] p(X) :- not q.
        {p(a)}.
        {p(b)}.
        {q}.
    */</span>

  uncertainNongroundRuleGroundings ++
    SymbolicASPRule(choiceHeadOpt = <span class="std">Some</span>(<span class="std"