Proofgold Term Root Disambiguation

wceq cidom (cin ccrg cdomn)

as obj
-

as prop
915e7..

theory
SetMM

stx
64ad5..

address
TMRSP..