Proofgold Term Root Disambiguation

as obj
-

as prop
23c52..^{Field_Field_of_RealsStruct}

theory
HotG

stx
8f02a..

address
TMZyZ..^{Field_Field_of_RealsStruct}