Description: A kind of Aristotelian inference. This judgement replaces the mode of
inference barbara when the minor premise has a particular context.
Proposition 62 of Frege1879 p. 52. (Contributed by RP, 17-Apr-2020)(Proof modification is discouraged.)