Proofgold Term Root Disambiguation

nat_p 32

as obj
-

as prop
1f846..

theory
HotG

stx
68efb..

address
TMdpr..