"To spell out the relation of their terms and hence the validity of the first figure syllogisms, he reformulates the traditional dici de omni et nullo rules (see King 1985: 71):"
"Abelard's rules 1 and 2 are equivalent to the rules of class inclusion that later became the subject of much discussion, i.e., the so-called dici de omni et nullo rules."
"All first figure moods are proved by the rules of class inclusion, that is, the dici de omni and dici de nullo rules."