Proofgold Term Root Disambiguation

as obj
-

as prop
e8cda..^{form100_22_real_uncountable_atleastp}

theory
HotG

stx
77d10..

address
TMZ9c..^{form100_22_real_uncountable_atleastp}