>Seq</span>(<span class="lit">"p(a)"</span>))).genGroundInstances ++
    SymbolicASPRule(choiceHeadOpt = <span class="std">Some</span>(<span class="std">Seq</span>(<span class="lit">"p(b)"</span>))).genGroundInstances ++
    <span class="std">Seq</span>(GroundSymbolicASPRule(choiceHeadOpt = <span class="std">Some</span>(<span class="std">Seq</span>(<span class="lit">"not q"</span>))))


}.toSet

<span class="cmt">//println("\n------------- Grounding:\n" + groundRules.mkString("\n"))</span>

<span class="kw"