Proofgold Term Root Disambiguation

add_nat 32 7 = 39

as obj
-

as prop
15f5b..

theory
HotG

stx
b3050..

address
TMHab..