Proofgold Term Root Disambiguation

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

as obj
-

as prop
30c98..^imp_not_or

theory
HotG

stx
18c18..

address
TMcvy..^imp_not_or