Proofgold Term Root Disambiguation

nat_p 1

as obj
-

as prop
672d0..^nat_1

theory
HotG

stx
18c18..

address
TMKVK..^nat_1