Proofgold Term Root Disambiguation

add_nat 41 9 = 50

as obj
-

as prop
d3ec1..

theory
HotG

stx
d506b..

address
TMa16..