Proofgold Term Root Disambiguation

add_nat 32 8 = 40

as obj
-

as prop
8b5c1..

theory
HotG

stx
b3050..

address
TMdDv..