Proofgold Term Root Disambiguation

nat_p 99

as obj
-

as prop
5b6f8..

theory
HotG

stx
e94e7..

address
TMEg4..