Proofgold Term Root Disambiguation

reflexive ZermeloWO

as obj
-

as prop
be1a5..

theory
HoTg

stx
75b72..

address
TMZLF..^{ZermeloWO_ref}