Then how can we differentiate between
Animal a=new Horse();
and
Horse a=new Horse();
digramatically?

Of course i know the difference between the two statements in general, i just wanted to know if in a diagram i replace Animal with Horse.
How can i know whether it represents
Animal a=new Horse();
or
Animal a=new Animal();