 Another standard feature of Avicenna’s discussion, especially where premises are of different kinds (type 2, 4, and 5), is that arguments are classified in function of (i) which premise is major and which is minor; (ii) what part is shared (for conditionals, whether it is part of the antecedent or of the consequent; for disjunctions, whether the disjunction is real or unreal, and whether the shared part is affirmative or negative).