Proofgold Term Root Disambiguation

add_nat 16 9 = 25

as obj
-

as prop
a3f6a..

theory
HotG

stx
7d20c..

address
TMY51..