Proofgold Term Root Disambiguation

wceq cmuv (cslot c7)

as obj
-

as prop
485c9..

theory
SetMM

stx
74203..

address
TMYqe..