Proofgold Term Root Disambiguation

wceq c0 (cdif cvv cvv)

as obj
-

as prop
89802..

theory
SetMM

stx
575bc..

address
TMaFh..