Proofgold Term Root Disambiguation

as obj
-

as prop
8a656..^{minus_CSNo_CRe}

theory
HotG

stx
5ed1a..

address
TMQV6..^{minus_CSNo_CRe}