Proofgold Term Root Disambiguation

wceq cale (crdg char com)

as obj
-

as prop
25d74..

theory
SetMM

stx
abdec..

address
TMNoA..