you have
.A.
| |
B D
|
C
a. is true but does not COMPLETELY identify B because it also fits C
b. is not true because it also would work if obj was an A
c. this is it

d. both B's and A's fit this. Actually D fits it also.
e. a B
has to be an instance of an A so this wouldn't work.