Proofgold Term Root Disambiguation

add_nat 23 17 = 40

as obj
-

as prop
5973b..

theory
HotG

stx
32d40..

address
TMYa6..