Proofgold Term Root Disambiguation

exp_nat 2 2 = 4

as obj
-

as prop
a8f07..

theory
HotG

stx
7d20c..

address
TMc6T..