Proofgold Term Root Disambiguation

wceq cdmn (cin cprrng ccm2)

as obj
-

as prop
7f324..

theory
SetMM

stx
f4a92..

address
TMd8s..