Proofgold Term Root Disambiguation

add_SNo 4 3 = 7

as obj
-

as prop
5db39..^add_SNo_4_3

theory
HotG

stx
6036f..

address
TMFWK..^add_SNo_4_3