What does “ba‘ḍ laysa” directly indicate?

Categorical Propositions: Singular, Natural, Quantified and Indefinite Forms

• Affirmation of all instances
• A judgment about specieshood
• No proposition at all
• Denial of the predicate of some instances