Proofgold Term Root Disambiguation

add_nat 32 1 = 33

as obj
-

as prop
7a596..

theory
HotG

stx
b3050..

address
TMWtd..