Proofgold Term Root Disambiguation

nat_p 13

as obj
-

as prop
74108..^nat_13

theory
HotG

stx
a34e4..

address
TMJDB..^nat_13