Proofgold Term Root Disambiguation

nat_p 16

as obj
-

as prop
a8824..^nat_16

theory
HotG

stx
a34e4..

address
TMJyQ..^nat_16