Proofgold Term Root Disambiguation

nat_p 83

as obj
-

as prop
60586..

theory
HotG

stx
90e2d..

address
TMatp..