We can also predicate : 'Socrates is rational ' (here we predicate a difference of an individual). This is allowed, because this predication can be the conclusion of a syllogism :
Socrates is a human being (predicating a species of an individual)
A human being is rational (predicating a difference of a species)
Therefore :
Socrates is rational (predicating a difference of an individual).