Proofgold Term Root Disambiguation

add_nat 83 66 = 149

as obj
-

as prop
1a450..

theory
HotG

stx
90e2d..

address
TMHuK..