Proofgold Term Root Disambiguation

wceq cmevl (cslot c9)

as obj
-

as prop
4dbea..

theory
SetMM

stx
e32ff..

address
TMXL1..