 Also following the tradition, the Logic treats the quantifiers “all” and “some” as part of the subject, so that “all men” and “some men” are logically significant units. In explaining the rules of conversion for subject and predicate terms, in Part II, chapter 17 they argue that predicates are implicitly quantified: when one says “All lions are animals”, one does not normally think that all lions are all the animals, but only some of the animals. So “All S is P” in general means “All S is (some) P” (II.17, 130).