Proofgold Term Root Disambiguation

add_nat 32 2 = 34

as obj
-

as prop
ef922..

theory
HotG

stx
b3050..

address
TMdiX..