Proofgold Term Root Disambiguation

nat_p 24

as obj
-

as prop
73189..

theory
HotG

stx
e1235..

address
TMPGe..