Proofgold Term Root Disambiguation

add_nat 32 6 = 38

as obj
-

as prop
777a2..

theory
HotG

stx
b3050..

address
TMYPm..