Proofgold Term Root Disambiguation

wceq citv (cslot (cdc c1 c6))

as obj
-

as prop
7dedc..

theory
SetMM

stx
cf00c..

address
TMUJa..