Proofgold Term Root Disambiguation

as obj
-

as prop
cb1fd..^{Field_of_RealsStruct_0}

theory
HotG

stx
8f02a..

address
TMGpD..^{Field_of_RealsStruct_0}