Proofgold Term Root Disambiguation

wceq chom (cslot (cdc c1 c4))

as obj
-

as prop
faba8..

theory
SetMM

stx
bbd62..

address
TMJKs..