Proofgold Term Root Disambiguation

SNoCut 0 0 = 0

as obj
-

as prop
abbff..^SNoCut_0_0

theory
HotG

stx
0d8c8..

address
TMXsr..^SNoCut_0_0