Proofgold Term Root Disambiguation

real ⊆ e523d..

as obj
-

as prop
cf956..

theory
HotG

stx
72424..

address
TMZFL..