Proofgold Term Root Disambiguation

nat_p 5

as obj
-

as prop
b84b2..^nat_5

theory
HotG

stx
b7c2b..

address
TMaLj..^nat_5