Proofgold Term Root Disambiguation

as obj
-

as prop
8b2b9..^{SNoL_minus_SNoR}

theory
HotG

stx
5128f..

address
TMZZL..^{SNoL_minus_SNoR}