Proofgold Term Root Disambiguation

wceq cmndo (cin csem cexid)

as obj
-

as prop
13f7d..

theory
SetMM

stx
f4a92..

address
TMWFK..