Формула
∀y (A(a) & C(a) & (S(a, y) ∨ A(y)))
представлена в Сколемовской стандартной форме (ССФ) и преобразована в множество дизъюнктов
S={ A(a), C(a) , S(a, y) ∨ A(y)}
Сколько всего дизъюнктов содержит S?