Proofgold Term Root Disambiguation

as obj
-

as prop
a45e9..^{RealsStruct_Z_Q}

theory
HotG

stx
56719..

address
TMZAU..^{RealsStruct_Z_Q}