Proofgold Term Root Disambiguation

add_SNo 1 1 = 2

as obj
-

as prop
2b829..^{add_SNo_1_1_2}

theory
HotG

stx
26642..

address
TMHAZ..^{add_SNo_1_1_2}