The lparse program that contains this choice rule and no other rules has 8 stable models—arbitrary subsets of { p , q , r } {\displaystyle \{p,q,r\}} .
В lparse-программе, которая содержит это правило и больше никаких других правил, имеет 8 стабильных моделей подмножеств { p , q , r } {\displaystyle \{p,q,r\}} .