Proofgold Term Root Disambiguation

SNoL 1 = 1

as obj
-

as prop
15aa7..^SNoL_1

theory
HotG

stx
0d8c8..

address
TMSoM..^SNoL_1