Proofgold Term Root Disambiguation

linear ZermeloWO

as obj
-

as prop
ba259..

theory
HoTg

stx
75b72..

address
TMJkD..^{ZermeloWO_lin}