Proofgold Term Root Disambiguation

wceq ccoda (ccom c2nd c1st)

as obj
-

as prop
4c688..

theory
SetMM

stx
c36e5..

address
TMV1h..