Proofgold Term Root Disambiguation

wceq crefld (cfv cxrs csca)

as obj
-

as prop
74232..

theory
SetMM

stx
2af7b..

address
TMceo..