ined
      {p}.
  */</span>

  GroundSymbolicASPRule(headLiterals = <span class="std">Set</span>(<span class="lit">"p"</span>), bodyLiterals = <span class="std">Set</span>(<span class="lit">"not q"</span>),
   probabilityOpt = <span class="std">Some</span>(<span class="num">0.7</span>d) <span class="cmt">// Probability of the ground rule (use 'None' for a hard rule)</span>
   )
  , GroundSymbolicASPRule(choiceHeadOpt = <span class="std">Some</span>(<span class="std">Seq</span>(<span class="lit">"p"</span>))