Proofgold Term Root Disambiguation

∀ x0 . atleastp x0 u3 ⟶ ∀ x1 . x1 ⊆ x0 ⟶ ∀ x2 . x2 ⊆ x0 ⟶ atleastp u2 x1 ⟶ atleastp u2 x2 ⟶ ∀ x3 : ο . (∀ x4 . and (x4 ∈ x1) (x4 ∈ x2) ⟶ x3) ⟶ x3

as obj
-

as prop
fe2f1..

theory
HotG

stx
493fb..

address
TMaxt..