Proofgold Term Root Disambiguation

wceq cmfsh (cslot c8)

as obj
-

as prop
78531..

theory
SetMM

stx
e32ff..

address
TMMRC..