Proofgold Term Root Disambiguation

wceq cplusg (cslot c2)

as obj
-

as prop
4ada7..

theory
SetMM

stx
fa8d9..

address
TMXQH..