Proofgold Term Root Disambiguation

nat_p u42

as obj
-

as prop
aacd7..

theory
HotG

stx
d906f..

address
TMX8p..