The completion of an ASP program $$ is defined as the union of $$ and

$A$

Body

Alarr Body $in$

for each ground atom $A.$

Given ASP program $$:

plarr$-q$

qlarr$-r$

What is the formula after the completion?

$1$

pharrnotq $r$

$2$

$p$

pharrnotq

qharrnotr

rlarr$1$

$3$pharrnotq

qharrnotr

notr

$C$ pharrnotq

qharrnotp