Proofgold Term Root Disambiguation

as obj
-

as prop
c2bf7..^{form100_22_real_uncountable}

theory
HotG

stx
bb673..

address
TMX2L..^{form100_22_real_uncountable}