Proofgold Term Root Disambiguation

as obj
-

as prop
39ddb..^{Field_of_RealsStruct_3}

theory
HotG

stx
8f02a..

address
TMP2b..^{Field_of_RealsStruct_3}