Proofgold Term Root Disambiguation

SNoLt 1 2

as obj
-

as prop
19d5e..^SNoLt_1_2

theory
HotG

stx
2cf07..

address
TMUn8..^SNoLt_1_2