Proofgold Term Root Disambiguation

add_nat 2 1 = 3

as obj
-

as prop
2eeb3..

theory
HotG

stx
594e8..

address
TMMf6..