Proofgold Term Root Disambiguation

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

as obj
-

as prop
d5b81..^orI_imp2

theory
HF

stx
36a0a..

address
TMdRz..^orI_imp2