Proofgold Term Root Disambiguation

add_nat 23 16 = 39

as obj
-

as prop
97994..

theory
HotG

stx
32d40..

address
TMNGf..