There are four quantifiers in term logic, organized according to two distinctions: particular/universal (some versus all) and affirmative/negative (permitting none and not all). There are 256 combinations of these quantifiers in the form of a syllogism. One is 'AAA', or (all x are y) and (all y ...