Product parent graph

The single-parent ancestry between object classes (ADR-0046). At most one parent per class, acyclic. This is the edge set only; parameter inheritance is a separate concept that reads it.