Proofgold Term Root Disambiguation

wceq cfld (cin cdrng ccm2)

as obj
-

as prop
3ac71..

theory
SetMM

stx
f4a92..

address
TMFxR..