Proofgold Term Root Disambiguation

nat_p 0

as obj
-

as prop
08405..^nat_0

theory
HF

stx
0d78c..

address
TMZcz..^nat_0