Conversion by limitation

A two-step inference involving the subalternation from the A-proposition to its corresponding I-proposition and then converting the result. Conversion by limitation is a valid inference only for the A-proposition on the Aristotelian, or traditional, interpretation of the universal —that is, on the assumption of existential import.