Proofgold Term Root Disambiguation

add_nat u7 u2 = u9

as obj
-

as prop
63ef9..

theory
HotG

stx
63930..

address
TMSEn..