Proofgold Term Root Disambiguation

wceq cgt (ccnv clt)

as obj
-

as prop
ce8bf..

theory
SetMM

stx
3e5e5..

address
TMbrG..