Proofgold Term Root Disambiguation

as obj
-

as prop
79ba0..^{Field_of_RealsStruct_4}

theory
HotG

stx
8f02a..

address
TMHKL..^{Field_of_RealsStruct_4}