Proofgold Term Root Disambiguation

f6a32.. f8050.. = 4ae4a.. 4a7ef..

as obj
-

as prop
5dab4..

theory
HoTg

stx
720c4..

address
TMNKT..