Proofgold Term Root Disambiguation

nat_p 14

as obj
-

as prop
5099c..^nat_14

theory
HotG

stx
a34e4..

address
TMZ9v..^nat_14