Proofgold Term Root Disambiguation

ce322.. f8050.. = 4a7ef..

as obj
-

as prop
76206..

theory
HoTg

stx
720c4..

address
TMYEW..