Proofgold Term Root Disambiguation

nat_p 11

as obj
-

as prop
60602..^nat_11

theory
HotG

stx
b9e40..

address
TMbHz..^nat_11