Proofgold Term Root Disambiguation

partialorder ZermeloWO

as obj
-

as prop
75776..

theory
HoTg

stx
75b72..

address
TMYe2..^{ZermeloWO_partialorder}