Proofgold Term Root Disambiguation

wceq cn0v (ccom cgi cpv)

as obj
-

as prop
19b69..

theory
SetMM

stx
d4238..

address
TMbHB..