Proofgold Term Root Disambiguation

add_nat 11 1 = 12

as obj
-

as prop
4ff4f..

theory
HotG

stx
7d20c..

address
TMdgD..