Proofgold Term Root Disambiguation

add_nat 51 10 = 61

as obj
-

as prop
ccce4..

theory
HotG

stx
d506b..

address
TMKay..