Proofgold Term Root Disambiguation

∀ x0 : ι → ο . exu_i x0 ⟶ ∀ x1 : ο . (∀ x2 . x0 x2 ⟶ x1) ⟶ x1

as obj
-

as prop
07bf8..^exu_i_E1

theory
HF

stx
b6147..

address
TMJmW..^exu_i_E1