Proofgold Term Root Disambiguation

add_nat 32 5 = 37

as obj
-

as prop
834ba..

theory
HotG

stx
b3050..

address
TMN42..