Proofgold Term Root Disambiguation

∀ x0 x1 : ο . not (and x0 x1) ⟶ (not x0 ⟶ False) ⟶ (not x1 ⟶ False) ⟶ False

as obj
-

as prop
77eb0..^tab_neg_and

theory
HF

stx
36a0a..

address
TMNVH..^tab_neg_and