Proofgold Term Root Disambiguation

add_nat 11 5 = 16

as obj
-

as prop
525d1..

theory
HotG

stx
7d20c..

address
TMFkS..