Proofgold Term Root Disambiguation

add_nat u6 u30 = u36

as obj
-

as prop
ac6b6..

theory
HotG

stx
36e89..

address
TMZ7N..