Proofgold Term Root Disambiguation

wceq clidl (ccom clss crglmod)

as obj
-

as prop
f86a7..

theory
SetMM

stx
64ad5..

address
TMcc8..