Proofgold Term Root Disambiguation

add_nat 32 3 = 35

as obj
-

as prop
e6aba..

theory
HotG

stx
b3050..

address
TMMKb..