An assertion relating two classes of object: universal affirmative (All S are P), universal negative (No S are P), particular affirmative (Some S are P), and particular negative (Some S are not P).