Proofgold Term Root Disambiguation

nat_p 1

as obj
-

as prop
c7c31..^nat_1

theory
HF

stx
0d78c..

address
TMdEn..^nat_1