Proofgold Term Root Disambiguation

wceq ccvs (cin cclm clvec)

as obj
-

as prop
6af17..

theory
SetMM

stx
bc3a6..

address
TMLqK..