Proofgold Term Root Disambiguation

add_nat 32 4 = 36

as obj
-

as prop
4470a..

theory
HotG

stx
b3050..

address
TML4D..