Proofgold Term Root Disambiguation

nat_p 3

as obj
-

as prop
133bb..^nat_3

theory
HotG

stx
b7c2b..

address
TMNxJ..^nat_3