Proofgold Term Root Disambiguation

wceq cq (cima cdiv (cxp cz cn))

as obj
-

as prop
c8b0c..

theory
SetMM

stx
33c8c..

address
TMYw5..