Proofgold Term Root Disambiguation

add_SNo u24 (minus_SNo u20) = u4

as obj
-

as prop
7c521..

theory
HotG

stx
62a5c..

address
TMJKE..