Proofgold Term Root Disambiguation

as obj
-

as prop
d5a6d..^{sqrt_SNo_nonneg_1}

theory
HotG

stx
8fb89..

address
TMPET..^{sqrt_SNo_nonneg_1}