Proofgold Term Root Disambiguation

wceq cmtc (cslot c4)

as obj
-

as prop
7ed3d..

theory
SetMM

stx
81cee..

address
TMRJZ..