Proofgold Term Root Disambiguation

add_nat 11 7 = 18

as obj
-

as prop
a918d..

theory
HotG

stx
7d20c..

address
TMaFk..