categorical statement
A statement about how two classes are related.
A categorical statement says whether all or some members of one class (the subject class) are or are not included in another class (the predicate class). Every categorical statement is one of four types: A, E, I, or O.
Examples
"All violins are string instruments."
"Some snacks are not healthy."