Proofgold Term Root Disambiguation

nat_p 4

as obj
-

as prop
69ffc..^nat_4

theory
HotG

stx
b7c2b..

address
TMH3H..^nat_4