Proofgold Term Root Disambiguation

nat_p u34

as obj
-

as prop
183e4..

theory
HotG

stx
36e89..

address
TMLwr..