See http://wiki.geneontology.org/index.php/Cellular_component_disjoint_classes