Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι . inj x0 x1 x2 ⟶ atleastp x0 x1

as obj
-

as prop
95b31..^atleastp_I

theory
HF

stx
b6147..

address
TMWa4..^atleastp_I