Proofgold Term Root Disambiguation

wceq cur (ccom c0g cmgp)

as obj
-

as prop
542ac..

theory
SetMM

stx
9edd3..

address
TMNqh..