Lessons in Logic 22:Translating Categorical Syllogisms Into Standard Form