Proofgold Term Root Disambiguation

wceq cnvc (cin cnlm clvec)

as obj
-

as prop
65a56..

theory
SetMM

stx
bc3a6..

address
TMUYn..