Proofgold Term Root Disambiguation

∀ x0 : ι → ο . exu_i x0 ⟶ ∃ x1 . x0 x1

as obj
-

as prop
07bf8..^exu_i_E1

theory
HF

stx
b6147..

address
TMJmW..^exu_i_E1