Input (grade 5): Aristotelian propositions take forms like "All men are mortal" and "Socrates is a man."
Output (grade 5): Aristotelian propositions take forms like "All men are mortal" and "Socrates is a man".