Figure 5
From: A unified approach for debugging is-a structure and mappings in networked taxonomies

An example of generating and validating candidate missing is-a relations. Generating and validating candidate missing is-a relations: the case of bone and joint.