Proofgold Term Root Disambiguation

as obj
-

as prop
744fc..^{explicit_Field_of_RealsStruct}

theory
HotG

stx
8f02a..

address
TMYsj..^{explicit_Field_of_RealsStruct}