Proofgold Term Root Disambiguation

wceq cidp (cres cid cc)

as obj
-

as prop
af638..

theory
SetMM

stx
fc037..

address
TMJrN..