Proofgold Term Root Disambiguation

add_nat 6 1 = 7

as obj
-

as prop
a9609..

theory
HotG

stx
7d20c..

address
TMPye..