Proofgold Term Root Disambiguation

nat_p 9

as obj
-

as prop
356a4..^nat_9

theory
HotG

stx
b9e40..

address
TMJb7..^nat_9