Proofgold Term Root Disambiguation

real = {x1 ∈ e523d..|28f8d.. x1 = x1}

as obj
-

as prop
9e5a7..

theory
HotG

stx
72424..

address
TMRVY..