S ile P birli yüklemlerinden SoP (kimi S, P değildir) tikel olumsuz önermesini oluşturan ?o' yöneten deyimi.