Proofgold Term Root Disambiguation

∀ x0 x1 x2 : ο . (x0 ⟶ x2) ⟶ (x1 ⟶ x2) ⟶ or x0 x1 ⟶ x2

as obj
-

as prop
60f50..^orE_imp

theory
HF

stx
1efa1..

address
TMJwj..^orE_imp