Proofgold Term Root Disambiguation

trichotomous_or ZermeloWOstrict

as obj
-

as prop
e7a0e..

theory
HoTg

stx
75b72..

address
TMGSA..^{ZermeloWOstrict_trich}