Proofgold Term Root Disambiguation

wceq zring (co ccnfld cz cress)

as obj
-

as prop
da3fd..

theory
SetMM

stx
ea284..

address
TMWDu..