Proofgold Term Root Disambiguation

add_nat 23 14 = 37

as obj
-

as prop
fb7b7..

theory
HotG

stx
32d40..

address
TMWW5..