Proofgold Term Root Disambiguation

wceq cmulr (cslot c3)

as obj
-

as prop
5927b..

theory
SetMM

stx
fa8d9..

address
TMP1z..