Proofgold Term Root Disambiguation

wceq cco (cslot (cdc c1 c5))

as obj
-

as prop
ff707..

theory
SetMM

stx
bbd62..

address
TMXaT..