Proofgold Term Root Disambiguation

wceq cza (cfv cz citgo)

as obj
-

as prop
402d4..

theory
SetMM

stx
c16e7..

address
TMF3B..