Proofgold Term Root Disambiguation

transitive ZermeloWO

as obj
-

as prop
0cf33..

theory
HoTg

stx
75b72..

address
TMSnB..^{ZermeloWO_tra}