Proofgold Term Root Disambiguation

nat_p 6

as obj
-

as prop
b4ec6..^nat_6

theory
HotG

stx
b7c2b..

address
TMS5Y..^nat_6