Proofgold Term Root Disambiguation

wceq c0p (cxp cc (csn cc0))

as obj
-

as prop
76d58..

theory
SetMM

stx
29ebb..

address
TMUDw..