Proofgold Term Root Disambiguation

add_nat 8 5 = 13

as obj
-

as prop
5f9b2..

theory
HotG

stx
7d20c..

address
TMWVD..