Proofgold Term Root Disambiguation

∀ x0 : ι → ο . not (∀ x1 . x0 x1) ⟶ (∀ x1 . not (x0 x1) ⟶ False) ⟶ False

as obj
-

as prop
29614..^{tab_neg_all_i}

theory
HF

stx
36a0a..

address
TMaRM..^{tab_neg_all_i}