Proofgold Term Root Disambiguation

1013b.. f8050..

as obj
-

as prop
b4a76..

theory
HoTg

stx
9e11d..

address
TMWAe..