Checking in the same way the other 15 sets consisting of the atoms p ,   q ,   r ,   s {\displaystyle p,\ q,\ r,\ s} shows that this program has no other stable models.
Перевірка таким самим чином інших 15 наборів з атомів p ,   q ,   r ,   s {\displaystyle p,\ q,\ r,\ s} показує, що ця програма не має інших стійких моделей.