 What is shared in this case is a term that connects the categorical premise with another categorical, namely the antecedent or the consequent of the conditional premise. This entails that syllogisms of this type are in fact arguments “containing” a categorical syllogism whose conclusion is either implied by or implies another proposition. This is perhaps the reason why the main division is given in terms of whether the sharing occurs (i) in the consequent or (ii) in the antecedent, and also the reason why the former case is taken to be more relevant (or at least more common) in the sciences. For in case (i), all syllogisms will yield the conclusion of the corresponding categorical syllogism subject to a condition, namely as the consequent of a conditional statement; whereas in case (ii) the interaction between the quantification of the conditional and the quantification of the antecedent yields moods that only partially overlap with the standard set of categorical moods and that are subject to various qualifications.