B has A.
  B is C.
  B is D.