Categorical Statements
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
A categorical statement relates two classes, asserting that one is included in or excluded from the other, in whole or in part.
Show
"All senators are citizens" — whole inclusion of one class in another.
Watch for
Two classes per statement, always. That constraint is what makes the system testable.