No hierarchy found for “extensional equality”

“extensional equality” may not be a concrete noun or may not be in WordNet. Try a different word.