Proofgold Term Root Disambiguation

add_nat 23 12 = 35

as obj
-

as prop
25750..

theory
HotG

stx
32d40..

address
TMV94..