Proofgold Term Root Disambiguation

1 ∈ real

as obj
-

as prop
790b4..^real_1

theory
HotG

stx
a9b67..

address
TMHQX..^real_1