particular negative conditional premise: Avicenna states that there are four productive moods, which must presumably be particular versions of the previous case, if we supplement the latter with a counterpart of BeC; \((\textrm{e-}\mathbb{C})p\textrm{-AoB} ⊢ (\textrm{e-}\mathbb{C})p\textrm{-AiC}\) (Avicenna does not discuss this mood explicitly, but it is compatible with the general criteria of productivity he adopts, namely that the categorical major should be universal and the consequent of the conditional negative).