Proofgold Term Root Disambiguation

wceq col (cin clat cops)

as obj
-

as prop
fc0df..

theory
SetMM

stx
7eb09..

address
TMUUp..