Proofgold Term Root Disambiguation

as obj
-

as prop
5a8d6..^{form100_22_real_uncountable_equip}

theory
HotG

stx
77d10..

address
TMJEj..^{form100_22_real_uncountable_equip}