Proofgold Term Root Disambiguation

wceq cpid (cin cidom clpir)

as obj
-

as prop
de54e..

theory
SetMM

stx
64ad5..

address
TMGKD..