Proofgold Term Root Disambiguation

∀ x0 . atleastp x0 u3 ⟶ ∀ x1 . x1 ⊆ x0 ⟶ ∀ x2 . x2 ⊆ x0 ⟶ atleastp u2 x1 ⟶ atleastp u2 x2 ⟶ ∃ x3 . and (x3 ∈ x1) (x3 ∈ x2)

as obj
-

as prop
fe2f1..

theory
HotG

stx
493fb..

address
TMaxt..