Proofgold Term Root Disambiguation

add_nat 23 9 = 32

as obj
-

as prop
02d84..

theory
HotG

stx
32d40..

address
TMLEn..