A is (was?) B.
 C has A.
 C is D.