Proofgold Term Root Disambiguation

add_nat u9 u5 = u14

as obj
-

as prop
8ae56..

theory
HotG

stx
cb48d..

address
TMbXP..