Which of the following statements is correct if $P$ is a program with two different stable

models $x$ and $Y$ such that $x$ is a subset of $Y?$

$P$ is a positive program

P is a normal program

P has an integrity constraint

P cannot have an integrity constraint

P has a choice rule

P cannot have a choice rule