Proofgold Term Root Disambiguation

as obj
480d2..^{RealsStruct_abs}

as prop
-

theory
HotG

stx
0f4f5..

address
TMMii..^{RealsStruct_abs}