for example the abovementioned syllogism is a categorical syllogism