reflection graph for deducing common type parents, siblings, and children