Classical logic foundations!
A: All S are P (universal affirmative)
E: No S are P (universal negative)
I: Some S are P (particular affirmative)
O: Some S are not P (particular negative)
S (Subject): Subject of conclusion
P (Predicate): Predicate of conclusion
M (Middle): Links premises, not in conclusion