Inferred relationships provide clarity within CL. (a) A large number of classes have to be viewed to determine mature basophils and mature eosinophils develop from the same progenitor cell type in the asserted (i.e. unreasoned) hierarchy. D = develops_from relationship. (b) Inferred relationships by automated reasoning represent in a simple manner the shared progenitor cell type that mature basophils and mature eosinophils develop from. Dashed lines indicate inferred relationships.