Proofgold Term Root Disambiguation

wceq ccusgr (cin cusgr ccplgr)

as obj
-

as prop
8cb7d..

theory
SetMM

stx
fb3f6..

address
TMdki..