Proofgold Term Root Disambiguation

wceq cstv (cslot c4)

as obj
-

as prop
7f293..

theory
SetMM

stx
fa8d9..

address
TMPyg..