I think I learned about this in my english class
Man is mortal, Socrates is man, theirfore Socrates is mortal.
I'm not a real programer but I think this makes some sence