Proofgold Term Root Disambiguation

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

as obj
-

as prop
6a5f4..^tab_neg_or

theory
HF

stx
36a0a..

address
TMLUX..^tab_neg_or