Proofgold Term Root Disambiguation

add_nat 6 4 = 10

as obj
-

as prop
2cf95..

theory
HotG

stx
7d20c..

address
TMSrZ..