Proofgold Term Root Disambiguation

add_nat 99 41 = 140

as obj
-

as prop
9280e..

theory
HotG

stx
e94e7..

address
TMMh8..