Proofgold Term Root Disambiguation

totalorder ZermeloWO

as obj
-

as prop
fb757..

theory
HoTg

stx
75b72..

address
TMQi6..^{ZermeloWO_totalorder}