Proofgold Term Root Disambiguation

nat_p u25

as obj
-

as prop
d5180..

theory
HotG

stx
36e89..

address
TMZUT..