Aristotle explicitly analyzes syllogisms through predication relations (S-P, M-P, S-M), not abstract...
This proposition has not been edited since the history system was added.