Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ∈ x0 ⟶ ∀ x2 . x2 ∈ x0 ⟶ UPair x1 x2 ⊆ x0

as obj
-

as prop
f7dd2..

theory
HotG

stx
0293e..

address
TMVEL..