Proofgold Term Root Disambiguation

as obj
-

as prop
49002..^{RealsStruct_natOfOrderedField}

theory
HotG

stx
56719..

address
TMK4N..^{RealsStruct_natOfOrderedField}