Feature request: Include annotations of terms pulled in when viewing only active ontology

[alanruttenberg]

When choosing to view only the active ontology, some terms that are not in the active ontology are included because they are used in an axiom. It would be useful to be able to see the labels of these terms. The specific label annotation properties to include could be those listed in the entity rendering preferences.