Proofgold Term Root Disambiguation

add_nat 17 3 = 20

as obj
-

as prop
cd6de..

theory
HotG

stx
6df91..

address
TMMwA..