Proofgold Term Root Disambiguation

SNoR 1 = 0

as obj
-

as prop
8da42..^SNoR_1

theory
HotG

stx
0d8c8..

address
TMPLY..^SNoR_1