What does a particular negative assert?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• Negation of every individual
• A universal label only
• Negation of the predicate for at least one individual
• Affirmation of all individuals