Proofgold Term Root Disambiguation

add_nat 32 9 = 41

as obj
-

as prop
c828e..

theory
HotG

stx
b3050..

address
TMLdV..