Proofgold Term Root Disambiguation

add_nat 23 10 = 33

as obj
-

as prop
1db04..

theory
HotG

stx
32d40..

address
TMRVB..