Proofgold Term Root Disambiguation

wceq cmcn (cslot c1)

as obj
-

as prop
ac15f..

theory
SetMM

stx
81cee..

address
TMR9A..