Makes child have a part-of relationship with parent.
if child or parent is not in the type schema.
if parent is a part of child
if child or parent do not uniquely define a single type. For example, if they are synonyms of multiple types. Hint: use IDs.