Proofgold Term Root Disambiguation

wceq ctrans (cdif cvv (crn (cdif (ccom cep cep) cep)))

as obj
-

as prop
ddd80..

theory
SetMM

stx
e3215..

address
TMMZe..