If the relevant antecedent is put in the form all As are Bs, and the latter is expressed as a universally quantified conditional, then the subject will be logically in negative position, while the consequent is in positive position.